]> matita.cs.unibo.it Git - helm.git/history - matita/library/assembly/test.ma
The nicest script obtained so far.
[helm.git] / matita / library / assembly / test.ma
2007-07-20 Claudio Sacerdoti... The nicest script obtained so far.
2007-07-20 Claudio Sacerdoti... More simplification due to the new conversion strategy.
2007-07-20 Claudio Sacerdoti... Script simplification due to the new efficient conversi...
2007-07-19 Claudio Sacerdoti... Super-nice notation for the assembly stuff.
2007-07-17 Enrico Tassifixed includes and added notation for bytes
2007-07-16 Claudio Sacerdoti... Last daemon killed :-)
2007-07-16 Claudio Sacerdoti... One less daemon (about "update"s).
2007-07-16 Claudio Sacerdoti... All sub-proofs about "update" closed.
2007-07-16 Claudio Sacerdoti... assembly.ma splitted into many files