| Mon, 17 May 2010 08:40:17 -0700 |
huffman |
remove simp attribute from power2_eq_1_iff
|
changeset |
files
|
| Mon, 17 May 2010 10:58:58 +0200 |
haftmann |
dropped old Library/Word.thy and toy example ex/Adder.thy
|
changeset |
files
|
| Mon, 17 May 2010 10:58:31 +0200 |
haftmann |
dropped old Library/Word.thy and toy example ex/Adder.thy
|
changeset |
files
|
| Tue, 18 May 2010 00:01:03 +0200 |
wenzelm |
do not open Legacy by default;
|
changeset |
files
|
| Mon, 17 May 2010 23:54:15 +0200 |
wenzelm |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
changeset |
files
|
| Mon, 17 May 2010 15:11:25 +0200 |
wenzelm |
renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
|
changeset |
files
|
| Mon, 17 May 2010 15:05:32 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 17 May 2010 15:02:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 17 May 2010 14:23:54 +0200 |
wenzelm |
renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
|
changeset |
files
|
| Mon, 17 May 2010 10:20:55 +0200 |
wenzelm |
centralized legacy aliases;
|
changeset |
files
|
| Sun, 16 May 2010 00:02:11 +0200 |
wenzelm |
prefer structure Parse_Spec;
|
changeset |
files
|
| Sat, 15 May 2010 23:40:00 +0200 |
wenzelm |
renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
|
changeset |
files
|
| Sat, 15 May 2010 23:32:15 +0200 |
wenzelm |
renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
|
changeset |
files
|
| Sat, 15 May 2010 23:23:45 +0200 |
wenzelm |
renamed structure ValueParse to Parse_Value;
|
changeset |
files
|
| Sat, 15 May 2010 23:16:32 +0200 |
wenzelm |
refer directly to structure Keyword and Parse;
|
changeset |
files
|
| Sat, 15 May 2010 22:24:25 +0200 |
wenzelm |
renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
|
changeset |
files
|
| Sat, 15 May 2010 22:15:57 +0200 |
wenzelm |
renamed Outer_Parse to Parse (in Scala);
|
changeset |
files
|
| Sat, 15 May 2010 22:05:49 +0200 |
wenzelm |
renamed Outer_Keyword to Keyword (in Scala);
|
changeset |
files
|
| Sat, 15 May 2010 21:57:27 +0200 |
wenzelm |
avoid open Conv;
|
changeset |
files
|
| Sat, 15 May 2010 21:50:05 +0200 |
wenzelm |
less pervasive names from structure Thm;
|
changeset |
files
|
| Sat, 15 May 2010 21:41:32 +0200 |
wenzelm |
less pervasive names from structure Thm;
|
changeset |
files
|
| Sat, 15 May 2010 21:09:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 15 May 2010 18:29:18 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 15 May 2010 07:48:24 -0700 |
huffman |
add real_le_linear to list of legacy theorem names
|
changeset |
files
|
| Sat, 15 May 2010 16:20:54 +0200 |
blanchet |
make SML/NJ happy
|
changeset |
files
|
| Sat, 15 May 2010 18:15:50 +0200 |
wenzelm |
removed unused conversions;
|
changeset |
files
|
| Sat, 15 May 2010 18:12:58 +0200 |
wenzelm |
tuned header;
|
changeset |
files
|
| Sat, 15 May 2010 18:11:00 +0200 |
wenzelm |
moved normarith.ML where it is actually used;
|
changeset |
files
|
| Sat, 15 May 2010 17:59:06 +0200 |
wenzelm |
incorporated further conversions and conversionals, after some minor tuning;
|
changeset |
files
|
| Sat, 15 May 2010 15:31:33 +0200 |
wenzelm |
eliminated redundant runtime checks;
|
changeset |
files
|