Changeset 697 for src/ASM/BitVectorTrie.ma
- Timestamp:
- Mar 18, 2011, 1:28:33 PM (9 years ago)
- Location:
- src/ASM
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM
-
Property
svn:mergeinfo
set to
(toggle deleted branches)
/src/Clight/cerco merged eligible /Deliverables/D3.1/C-semantics/cerco 531-693 /Deliverables/D4.1/Matita/new-matita-development 476-530
-
Property
svn:mergeinfo
set to
(toggle deleted branches)
-
src/ASM/BitVectorTrie.ma
r690 r697 1 include "basics/ sums.ma".1 include "basics/types.ma". 2 2 3 3 include "cerco/BitVector.ma".
Note: See TracChangeset
for help on using the changeset viewer.