| 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 |