]> matita.cs.unibo.it Git - helm.git/commit
better simplify
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Apr 2007 21:16:11 +0000 (21:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Apr 2007 21:16:11 +0000 (21:16 +0000)
commit9fe4caa4ba466250017b5ac1b36fc6e94d7e3860
treebb18fa247ffcee46a03420413b6dc71a97cd7206
parentcd3f9f850d16320dcc8fb1590e1cc9f8ba29e37b
better simplify
helm/software/matita/library/decidable_kit/eqtype.ma
helm/software/matita/library/decidable_kit/fintype.ma
helm/software/matita/library/decidable_kit/list_aux.ma
helm/software/matita/library/technicalities/setoids.ma