]> matita.cs.unibo.it Git - helm.git/commit
The nicest script obtained so far.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2007 16:20:30 +0000 (16:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2007 16:20:30 +0000 (16:20 +0000)
commitddb991d66ae290de538e3415e23e1d846ef5e114
tree7191880d20c28f488703ed245c76f8a959d5e078
parent58c0db9bcf83591115445a538bee028d3260fdf7
The nicest script obtained so far.
What is left, is a bunch of change/normalize/whd/simplify that are difficult
to control precisely.
helm/software/matita/library/assembly/test.ma