]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b308b5b) | patch
Sempre piu' breve
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 13 May 2009 09:37:51 +0000 (09:37 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 13 May 2009 09:37:51 +0000 (09:37 +0000)
commit47070cf066ae366ac7f3e73594f1bc02b0efb7f4
treefb2d81c005a2c9b83231cd703b99583e1e10988atree | snapshot
parentb308b5b8aa223ef214e5eb3f6fad2647e6e23d4ccommit | diff
Sempre piu' breve
helm/software/matita/contribs/POPLmark/Fsub/part1a_inversion3.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.