source: src/utilities/ @ 699

Last change on this file since 699 was 699, checked in by mulligan, 9 years ago

More or less finished formalisation of LIN.

File size: 376 bytes
1include "utilities/".
2include "utilities/".
3include "common/".
5axiom compare: Identifier → Identifier → Compare.
6definition IdentifierSet ≝ BitVectorTrieSet 8.
7axiom Universe: Type[0].
8axiom fresh_prefix: IdentifierSet → Identifier → Identifier.
9axiom new_universe: Identifier → Universe.
10axiom fresh: Universe → Identifier.
Note: See TracBrowser for help on using the repository browser.