]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 604e6fb) | patch
Added frac.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 09:20:29 +0000 (09:20 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 09:20:29 +0000 (09:20 +0000)
commit3a43b5be5e112404f79a6b8b5dab07e91f2467f2
tree66a093b915df3d7f51cc1a3e7df4b6a2a018e967tree | snapshot
parent604e6fb48abab6af7591b13ae06de94115db9694commit | diff
Added frac.ma
helm/software/matita/library/Q/frac.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.