]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddd7514) | patch
This works for me
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 1 Jun 2009 12:23:46 +0000 (12:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 1 Jun 2009 12:23:46 +0000 (12:23 +0000)
commitfcda9a37eb169fbd3dcf1b2ed699cf8444b4d714
tree66777f1d6474199924ac29e62c05acc3f7d5cbd5tree | snapshot
parentddd751449e73a22af523ce78ce1d8f0bb211e941commit | diff
This works for me
helm/software/matita/contribs/POPLmark/Fsub/part1a_inversion3.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.