]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f88182) | patch
Nil => nil; Cons => cons
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Oct 2007 16:07:10 +0000 (16:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Oct 2007 16:07:10 +0000 (16:07 +0000)
commitaadde7ee6f137e88952113dc8d3d173f5c7bfc30
tree6ce4484301285a09a4331a7face023d886ed2385tree | snapshot
parent5f8818258f5de42780fbdbc95813bd36e124e096commit | diff
Nil => nil; Cons => cons
matita/library/demo/propositional_sequent_calculus.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.