]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c742f5b) | patch
A compiling version (not complete).
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Aug 2012 13:02:40 +0000 (13:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Aug 2012 13:02:40 +0000 (13:02 +0000)
commit45e128062d4ad05b4dfa6e30b9b4d553315186ab
tree5f30c1277b32bec398295a75d426231e769a55ectree | snapshot
parentc742f5b1450507df01cb0379d85b4170ddf6cad5commit | diff
A compiling version (not complete).
matita/matita/lib/turing/universal/match_machines.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.