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
|