]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a71e7bb) | patch
added some stuff on inductive types
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Nov 2005 08:56:32 +0000 (08:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Nov 2005 08:56:32 +0000 (08:56 +0000)
commit1b7ffcde9dce2848b36a28eeb73c5c28c4f901ad
tree5739f7bdbb42dd8090d5ebc3707df1ded1fca2d1tree | snapshot
parenta71e7bb255a56ab53415da1e16dd289ea08353eacommit | diff
added some stuff on inductive types
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.