| Mon, 03 Dec 2001 21:02:26 +0100 | wenzelm | interface for wrappers; | file | diff | annotate |
| Thu, 29 Nov 2001 01:51:38 +0100 | wenzelm | export primitive netpairs; | file | diff | annotate |
| Thu, 29 Nov 2001 00:45:12 +0100 | wenzelm | added deletion of rules; | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| Mon, 26 Nov 2001 23:24:27 +0100 | wenzelm | added Pure/Isar/rule_context.ML; | file | diff | annotate |