| Thu, 21 Sep 2006 19:04:36 +0200 | wenzelm | Thm.dest_binop; | file | diff | annotate |
| Tue, 12 Sep 2006 12:12:39 +0200 | wenzelm | intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim; | file | diff | annotate |
| Sun, 30 Jul 2006 21:28:52 +0200 | wenzelm | Thm.adjust_maxidx; | file | diff | annotate |
| Sat, 29 Jul 2006 00:51:31 +0200 | wenzelm | added mk_conjunction_list; | file | diff | annotate |
| Thu, 27 Jul 2006 15:33:21 +0200 | wenzelm | eliminated obsolete freeze_thaw; | file | diff | annotate |
| Thu, 13 Apr 2006 12:00:53 +0200 | wenzelm | Meta-level conjunction. | file | diff | annotate |