Wed, 05 Jul 2006 14:21:22 +0200 | mengj | Literals aren't sorted any more. Output overloaded constants' type var instantiations. | changeset | files |
Wed, 05 Jul 2006 11:32:38 +0200 | schirmer | fixed let-simproc | changeset | files |
Tue, 04 Jul 2006 21:26:26 +0200 | wenzelm | Isar: 'print_facts' prints all local facts; | changeset | files |
Tue, 04 Jul 2006 21:22:53 +0200 | wenzelm | print_lthms: include unnamed facts from index; | changeset | files |
Tue, 04 Jul 2006 21:22:52 +0200 | wenzelm | added content; | changeset | files |
Tue, 04 Jul 2006 21:22:51 +0200 | wenzelm | added props selector; | changeset | files |
Tue, 04 Jul 2006 21:22:50 +0200 | wenzelm | print_facts: all facts; | changeset | files |