2010-07-23 |
wenzelm |
observe standard conventions for doc-strings;
|
file |
diff |
annotate
|
2010-05-30 |
wenzelm |
replaced ML_Lex.read_antiq by more concise ML_Lex.read, which includes full read/report with explicit position information;
|
file |
diff |
annotate
|
2010-05-27 |
wenzelm |
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
|
file |
diff |
annotate
|
2010-05-15 |
wenzelm |
renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
|
file |
diff |
annotate
|
2010-05-15 |
wenzelm |
refer directly to structure Keyword and Parse;
|
file |
diff |
annotate
|
2010-05-08 |
wenzelm |
unified/simplified Pretty.margin_default;
|
file |
diff |
annotate
|
2010-05-03 |
wenzelm |
renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
2010-03-20 |
wenzelm |
renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
|
file |
diff |
annotate
|
2010-02-25 |
bulwahn |
added basic reporting of test cases to quickcheck
|
file |
diff |
annotate
|
2010-02-19 |
wenzelm |
renamed Simplifier.theory_context to Simplifier.global_context to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
2009-11-25 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
2009-11-24 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
2009-11-08 |
wenzelm |
adapted Theory_Data;
|
file |
diff |
annotate
|
2009-10-29 |
wenzelm |
standardized filter/filter_out;
|
file |
diff |
annotate
|
2009-10-27 |
wenzelm |
critical comments;
|
file |
diff |
annotate
|
2009-10-25 |
wenzelm |
eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion;
|
file |
diff |
annotate
|
2009-10-25 |
wenzelm |
maintain theory name via name space, not tags;
|
file |
diff |
annotate
|
2009-10-24 |
wenzelm |
eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already;
|
file |
diff |
annotate
|
2009-10-21 |
haftmann |
curried union as canonical list operation
|
file |
diff |
annotate
|
2009-10-21 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
2009-10-20 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
2009-10-19 |
berghofe |
Removed dead code in function mk_deftab.
|
file |
diff |
annotate
|
2009-10-17 |
wenzelm |
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
|
file |
diff |
annotate
|
2009-10-17 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
file |
diff |
annotate
|
2009-10-15 |
wenzelm |
replaced String.concat by implode;
|
file |
diff |
annotate
|
2009-09-29 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
2009-07-24 |
wenzelm |
eliminated OldGoals.read_term;
|
file |
diff |
annotate
|
2009-07-20 |
haftmann |
deftab: only process theorems on demand
|
file |
diff |
annotate
|
2009-07-14 |
haftmann |
more accessors to unfold simpset
|
file |
diff |
annotate
|
2009-05-14 |
haftmann |
merged
|
file |
diff |
annotate
|