Wed, 19 Oct 2005 21:52:50 +0200 wenzelm removed add_inductive_x;
Wed, 19 Oct 2005 21:52:49 +0200 wenzelm removed obsolete add_datatype_x;
Wed, 19 Oct 2005 21:52:48 +0200 wenzelm removed obsolete thy_syntax.ML;
Wed, 19 Oct 2005 21:52:47 +0200 wenzelm removed obsolete old_symbol_source;
Wed, 19 Oct 2005 21:52:46 +0200 wenzelm removed obsolete non-Isar theory format and old Isar theory headers;
Wed, 19 Oct 2005 21:52:45 +0200 wenzelm removed old-style theory format;
Wed, 19 Oct 2005 21:52:44 +0200 wenzelm avoid lagacy read function;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip