]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09f1f9f) | patch
porting to termination
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 17 Jul 2012 14:11:24 +0000 (14:11 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 17 Jul 2012 14:11:24 +0000 (14:11 +0000)
commit01480f5f9d65c9f9800ea80b3cb7535c695d6a3f
tree9cb60a17dcede4e597c985c6aaad1d194d542809tree | snapshot
parent09f1f9fce2c91552dbb218276560d28ddc5f7a70commit | diff
porting to termination
matita/matita/lib/turing/universal/marks.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.