| Thu, 05 Jul 2007 20:01:34 +0200 |
wenzelm |
simplified has_meta_prems;
|
file |
diff |
annotate
|
| Tue, 19 Jun 2007 23:15:27 +0200 |
wenzelm |
balanced conjunctions;
|
file |
diff |
annotate
|
| Wed, 13 Jun 2007 00:02:00 +0200 |
wenzelm |
removed unused is_atomic;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2007 21:04:19 +0200 |
wenzelm |
added is_atomic;
|
file |
diff |
annotate
|
| Wed, 09 May 2007 19:37:18 +0200 |
wenzelm |
removed unused mk_cond_defpair;
|
file |
diff |
annotate
|
| Wed, 29 Nov 2006 04:11:09 +0100 |
wenzelm |
simplified Logic.count_prems;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2006 22:05:16 +0100 |
wenzelm |
added type_map;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2006 18:08:48 +0200 |
berghofe |
Repaired strip_assums_hyp (now also works for goals not
|
file |
diff |
annotate
|
| Sat, 07 Oct 2006 01:31:11 +0200 |
wenzelm |
removed is_equals, is_implies;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2006 23:15:39 +0200 |
wenzelm |
added name_classrel/arities/arity;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2006 22:56:13 +0200 |
wenzelm |
renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
|
file |
diff |
annotate
|
| Tue, 11 Jul 2006 12:17:03 +0200 |
wenzelm |
replaced Term.variant(list) by Name.variant(_list);
|
file |
diff |
annotate
|
| Tue, 13 Jun 2006 23:41:47 +0200 |
wenzelm |
(un)varify: tuned exceptions;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2006 02:01:28 +0200 |
wenzelm |
renamed Type.(un)varifyT to Logic.(un)varifyT;
|
file |
diff |
annotate
|
| Mon, 05 Jun 2006 21:54:21 +0200 |
wenzelm |
support embedded terms;
|
file |
diff |
annotate
|