]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a91366d) | patch
the is_structure is a bad idea if you don't have canonical structures.
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Dec 2007 10:36:00 +0000 (10:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Dec 2007 10:36:00 +0000 (10:36 +0000)
commit515b66b082bf6e1553d1aa75ba632b99a4d88e27
tree8e06c9aae5c19fc3d14d5dd692f6b9bc30afaed1tree | snapshot
parenta91366d1db62090a7b665f99aa5abdd5d2449799commit | diff
the is_structure is a bad idea if you don't have canonical structures.
helm/software/matita/dama/metric_lattice.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.