huffman [Mon, 17 May 2010 12:00:10 -0700] rev 36971
merged
huffman [Mon, 17 May 2010 08:45:46 -0700] rev 36970
remove simp attribute from square_eq_1_iff
blanchet [Mon, 17 May 2010 17:50:09 +0200] rev 36969
merged
blanchet [Mon, 17 May 2010 15:21:11 +0200] rev 36968
make sure chained facts don't pop up in the metis proof
blanchet [Mon, 17 May 2010 12:15:37 +0200] rev 36967
fix bug in Isar proof reconstruction step relabeling + don't try to infer the sorts of TVars, since this often fails miserably
blanchet [Mon, 17 May 2010 10:18:14 +0200] rev 36966
generate proper arity declarations for TFrees for SPASS's DFG format;
and renamed a confusing function in the process
blanchet [Mon, 17 May 2010 10:16:54 +0200] rev 36965
identify common SPASS error more clearly
huffman [Mon, 17 May 2010 08:40:17 -0700] rev 36964
remove simp attribute from power2_eq_1_iff
haftmann [Mon, 17 May 2010 10:58:58 +0200] rev 36963
dropped old Library/Word.thy and toy example ex/Adder.thy
haftmann [Mon, 17 May 2010 10:58:31 +0200] rev 36962
dropped old Library/Word.thy and toy example ex/Adder.thy
wenzelm [Tue, 18 May 2010 00:01:03 +0200] rev 36961
do not open Legacy by default;
wenzelm [Mon, 17 May 2010 23:54:15 +0200] rev 36960
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
eliminated old-style structure aliases K = Keyword, P = Parse;
wenzelm [Mon, 17 May 2010 15:11:25 +0200] rev 36959
renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
eliminated slightly odd alias structure T;
wenzelm [Mon, 17 May 2010 15:05:32 +0200] rev 36958
tuned;
wenzelm [Mon, 17 May 2010 15:02:44 +0200] rev 36957
tuned signature;
wenzelm [Mon, 17 May 2010 14:23:54 +0200] rev 36956
renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
wenzelm [Mon, 17 May 2010 10:20:55 +0200] rev 36955
centralized legacy aliases;
wenzelm [Sun, 16 May 2010 00:02:11 +0200] rev 36954
prefer structure Parse_Spec;
wenzelm [Sat, 15 May 2010 23:40:00 +0200] rev 36953
renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
wenzelm [Sat, 15 May 2010 23:32:15 +0200] rev 36952
renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
wenzelm [Sat, 15 May 2010 23:23:45 +0200] rev 36951
renamed structure ValueParse to Parse_Value;
eliminated old-style structure alias V;
wenzelm [Sat, 15 May 2010 23:16:32 +0200] rev 36950
refer directly to structure Keyword and Parse;
eliminated old-style structure aliases K and P;
wenzelm [Sat, 15 May 2010 22:24:25 +0200] rev 36949
renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
wenzelm [Sat, 15 May 2010 22:15:57 +0200] rev 36948
renamed Outer_Parse to Parse (in Scala);