]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c99a38b) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Nov 2008 16:20:36 +0000 (16:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 17 Nov 2008 16:20:36 +0000 (16:20 +0000)
commit2104e9482cbdd6067b54eb077f4c76f2eb4428fa
tree813d7ece31e29509b35617ff6a8a549fa8b1a6a4tree | snapshot
parentc99a38b6539be1eb667cced1eed2db3fc75e3162commit | diff
...
helm/software/matita/library/didactic/exercises/natural_deduction_fst_order.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.