]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21d58ec) | patch
- character: we adjusted some "autobatch" parameters
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Apr 2009 18:59:12 +0000 (18:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Apr 2009 18:59:12 +0000 (18:59 +0000)
commit04f75822f22c6c6522f6d81b412a212885a6ff72
tree3f6559b6a2bb4813b77798f1ef96501203dff707tree | snapshot
parent21d58ec6efaf1969c42eb3929475b638cdd0ce2ecommit | diff
- character: we adjusted some "autobatch" parameters
- limits: in classes and subssets we now ensure the compatibility between the
  inhabitance predicate and the equivalence relation
helm/software/matita/contribs/character/classes/defs.ma diff | blob | history
helm/software/matita/contribs/character/classes/props_pt.ma diff | blob | history
helm/software/matita/contribs/character/preamble.ma diff | blob | history
helm/software/matita/contribs/limits/Class/defs.ma diff | blob | history
helm/software/matita/contribs/limits/Class/eq.ma diff | blob | history
helm/software/matita/contribs/limits/Domain/data.ma diff | blob | history
helm/software/matita/contribs/limits/Subset/defs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.