Wed, 07 Sep 1994 13:04:28 +0200 moved from Contrib
clasohm [Wed, 07 Sep 1994 13:04:28 +0200] rev 588
moved from Contrib
Wed, 07 Sep 1994 10:43:30 +0200 renamed temporary variable 'base' to 'thy' in mk_structure
clasohm [Wed, 07 Sep 1994 10:43:30 +0200] rev 587
renamed temporary variable 'base' to 'thy' in mk_structure
Tue, 06 Sep 1994 14:44:10 +0200 renamed base_on into mk_base and moved it to the beginning of the generated
clasohm [Tue, 06 Sep 1994 14:44:10 +0200] rev 586
renamed base_on into mk_base and moved it to the beginning of the generated .thy.ML file to make sure that all base theories are present when ML executes the rest of this file
Tue, 06 Sep 1994 13:46:53 +0200 Pure/type/unvarifyT: moved there from logic.ML
lcp [Tue, 06 Sep 1994 13:46:53 +0200] rev 585
Pure/type/unvarifyT: moved there from logic.ML
Tue, 06 Sep 1994 13:28:56 +0200 documentation of theory sections (co)inductive and (co)datatype
lcp [Tue, 06 Sep 1994 13:28:56 +0200] rev 584
documentation of theory sections (co)inductive and (co)datatype
Tue, 06 Sep 1994 13:10:38 +0200 minor internal changes;
wenzelm [Tue, 06 Sep 1994 13:10:38 +0200] rev 583
minor internal changes;
Tue, 06 Sep 1994 13:09:58 +0200 added ext_tsig_types;
wenzelm [Tue, 06 Sep 1994 13:09:58 +0200] rev 582
added ext_tsig_types; various minor changes;
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip