Changeset 698 for src/utilities
- Timestamp:
- Mar 18, 2011, 1:47:53 PM (10 years ago)
- Location:
- src/utilities
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/utilities/BitVectorTrieSet.ma
r491 r698 1 include " cerco/BitVectorTrie.ma".1 include "ASM/BitVectorTrie.ma". 2 2 3 3 definition BitVectorTrieSet ≝ BitVectorTrie unit. -
src/utilities/StringTools.ma
r491 r698 1 include " cerco/String.ma".2 include " cerco-intermediate-languages/utilities/Compare.ma".1 include "ASM/String.ma". 2 include "utilities/Compare.ma". 3 3 4 4 axiom compare: String → String → Compare.
Note: See TracChangeset
for help on using the changeset viewer.