Ignore:
Timestamp:
Apr 14, 2011, 5:54:37 PM (10 years ago)
Author:
mulligan
Message:

Work from today.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/BitVectorTrieSet.ma

    r746 r753  
    7777qed.
    7878
    79 (*
    80 let rec set_diff (n: nat) (b: BitVectorTrieSet n) (c: BitVectorTrieSet n) on b: BitVectorTrieSet n ≝
    81   match b with
    82   [ Stub ⇒
    83 *)
    84 
    8579definition set_insert ≝
    8680  λn: nat.
Note: See TracChangeset for help on using the changeset viewer.