| Tue, 03 Jul 2007 17:17:09 +0200 | wenzelm | removed obsolete mk_conjunction_list, intr/elim_list; | file | diff | annotate |
| Tue, 19 Jun 2007 23:15:49 +0200 | wenzelm | balanced conjunctions; | file | diff | annotate |
| Tue, 28 Nov 2006 00:35:18 +0100 | wenzelm | simplified '?' operator; | file | diff | annotate |
| 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 |