source:
src/utilities
@
1638
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| adt | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | ||
| binary | 1628 | 9 years | Show that the universe generated by Clight/fresh.ma is good. | ||
| bindLists.ma | 6.8 KB | 1636 | 9 years | * added coercions to arguments (in RTL) and notation for ops (for the … | |
| BitVectorTrieSet.ma | 2.2 KB | 753 | 10 years | Work from today. | |
| Coqlib.ma | 31.7 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| extralib.ma | 4.7 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| extranat.ma | 3.4 KB | 1593 | 9 years | - cleaned up Assembly, moved some definitions elsewhere | |
| lists.ma | 1.7 KB | 1631 | 9 years | Use fact that type environments in Cminor have distinct variables to … | |
| monad.ma | 6.2 KB | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| option.ma | 461 bytes | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| proper.ma | 734 bytes | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| RegisterSet.ma | 1.7 KB | 1193 | 9 years | work on colouring algorithm halted as it can be axiomatised. now … | |
| setoids.ma | 1.4 KB | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| state.ma | 1.1 KB | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
| trace.ma | 903 bytes | 1635 | 9 years | * lists with binders and monads * Joint.ma and other temprarily … | |
Note: See TracBrowser
for help on using the repository browser.
