]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e93a0b) | patch
Match in types handled using top.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Aug 2012 08:21:28 +0000 (08:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Aug 2012 08:21:28 +0000 (08:21 +0000)
commit2f5b8ded5e2ef21f1bead554f4dd42759f2f9972
tree501f483e0ef130876d5fe4878a40ca1184b60101tree | snapshot
parent8e93a0b630da9ca411f03b537f587f55ad0e28fccommit | diff
Match in types handled using top.
matita/matita/lib/preamble.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.