| Tue, 12 Sep 2006 12:12:39 +0200 | wenzelm | intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim; | changeset | files |
| Tue, 12 Sep 2006 12:12:33 +0200 | wenzelm | added Pure/term_subst.ML; | changeset | files |
| Tue, 12 Sep 2006 12:12:25 +0200 | wenzelm | added Gentzen:1935; | changeset | files |