source:
Deliverables/D4.1/Matita
@
258
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
String.ma | 72 bytes | 249 | 10 years | More work on defining fundamental datatypes. | |
Compare.ma | 109 bytes | 248 | 10 years | More changes. Added datatype for addressing modes. | |
Universes.ma | 234 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Cartesian.ma | 273 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Util.ma | 431 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Char.ma | 574 bytes | 249 | 10 years | More work on defining fundamental datatypes. | |
Maybe.ma | 754 bytes | 247 | 10 years | Changes to get directory to compile. | |
Bool.ma | 1009 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Either.ma | 1.2 KB | 247 | 10 years | Changes to get directory to compile. | |
Exponential.ma | 2.3 KB | 257 | 10 years | Added exponential functions for nats. Working on operational … | |
Connectives.ma | 2.4 KB | 258 | 10 years | Forgotten files. | |
Interpret.ma | 2.5 KB | 258 | 10 years | Forgotten files. | |
BitVectorTrie.ma | 3.0 KB | 248 | 10 years | More changes. Added datatype for addressing modes. | |
Arithmetic.ma | 3.5 KB | 257 | 10 years | Added exponential functions for nats. Working on operational … | |
Equality.ma | 5.4 KB | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
BitVector.ma | 6.2 KB | 257 | 10 years | Added exponential functions for nats. Working on operational … | |
ASM.ma | 6.7 KB | 256 | 10 years | Work on ASM.ma file. | |
Vector.ma | 10.1 KB | 256 | 10 years | Work on ASM.ma file. | |
Nat.ma | 10.1 KB | 247 | 10 years | Changes to get directory to compile. | |
List.ma | 11.4 KB | 256 | 10 years | Work on ASM.ma file. |
Note: See TracBrowser
for help on using the repository browser.