]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb42469) | patch
Syntax changed (to be changed back) for left parameters of inductive types.
authorEnrico Zoli <??>
Tue, 31 Oct 2006 15:36:44 +0000 (15:36 +0000)
committerEnrico Zoli <??>
Tue, 31 Oct 2006 15:36:44 +0000 (15:36 +0000)
commit5fea9f520a3be247e506f3a6e7bf366a4f7ddf1c
tree8e4d4ee1eea1c0b541d5ebc2d87fb6874e6973a9tree | snapshot
parentbb42469b8aa1ccb0b2a5ca1d402c43ed0def1c08commit | diff
Syntax changed (to be changed back) for left parameters of inductive types.
helm/software/matita/dama/topology.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.