]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48db80c) | patch
fixed according to the new rewrite semantics (fails if no progress)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:22:14 +0000 (09:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:22:14 +0000 (09:22 +0000)
commitc640262bd3affd2a689ce401f4f48baca6421c53
tree05724e718d79d3a5c783a5f96f5f87cc7b175de7tree | snapshot
parent48db80ca9e9a6affc78849f51cfb0d9ef1258a4ecommit | diff
fixed according to the new rewrite semantics (fails if no progress)
helm/software/matita/library/decidable_kit/decidable.ma diff | blob | history
helm/software/matita/library/decidable_kit/fintype.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.