]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c0db9) | patch
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
tree7191880d20c28f488703ed245c76f8a959d5e078tree | snapshot
parent58c0db9bcf83591115445a538bee028d3260fdf7commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.