Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
Fri, 09 Nov 2001 00:19:20 +0100 | wenzelm | theory data: finish method; | file | diff | annotate |
Mon, 22 Oct 2001 18:07:53 +0200 | wenzelm | moved object_logic.ML to Isar/object_logic.ML; | file | diff | annotate |