Ignore:
Timestamp:
May 9, 2012, 7:23:37 PM (8 years ago)
Author:
boender
Message:
  • added latest bvt alias
  • temporary "cases daemon" commit of new policy type
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/BitVectorTrie.ma

    r1632 r1931  
    143143  | Stub _ ⇒ λ_.None ?
    144144  ]) b.
     145
     146alias id "bvt_lookup_opt" = "cic:/matita/cerco/ASM/BitVectorTrie/lookup_opt.fix(0,3,2)".
    145147
    146148definition member ≝
Note: See TracChangeset for help on using the changeset viewer.