1997-10-10 wenzelm 1997-10-10 tuned; more accesses to long name;
1997-10-10 wenzelm 1997-10-10 fixed space_explode, old one retained as BAD_space_explode; added split_lines;
1997-10-10 wenzelm 1997-10-10 scan_longid moved to Syntax/lexicon.ML;
1997-10-10 wenzelm 1997-10-10 constify: qualified is const;
1997-10-10 wenzelm 1997-10-10 added longid syntax;
1997-10-10 wenzelm 1997-10-10 added longid;
1997-10-10 wenzelm 1997-10-10 decode: qualified is always const;
1997-10-10 wenzelm 1997-10-10 tuned;
1997-10-09 wenzelm 1997-10-09 \n at end;
1997-10-09 wenzelm 1997-10-09 ensure that dots in formulas are followed by non-idents;
1997-10-09 wenzelm 1997-10-09 *** empty log message ***
1997-10-09 wenzelm 1997-10-09 no longer handles consts "" -- use syntax instead; pretty printer: changed order of mixfix annotation preference (again!);
1997-10-09 wenzelm 1997-10-09 removed open;
1997-10-09 wenzelm 1997-10-09 fixed infix syntax;
1997-10-09 wenzelm 1997-10-09 added TLA stuff;
1997-10-09 wenzelm 1997-10-09 fixed oracle;
1997-10-09 wenzelm 1997-10-09 removed declIffOracle;
1997-10-09 wenzelm 1997-10-09 changed preference order of prtab entries;
1997-10-09 wenzelm 1997-10-09 fixed infix syntax;
1997-10-09 wenzelm 1997-10-09 improved oracles: named, many per theory; name spaces: thmK, oracleK;
1997-10-09 wenzelm 1997-10-09 improved oracle: name; optional begin after thy header, with warning;
1997-10-09 wenzelm 1997-10-09 fixed get_axiom, invoke_oracle; improved Oracle deriv;
1997-10-09 wenzelm 1997-10-09 print_theory: added oracles;
1997-10-09 wenzelm 1997-10-09 tuned exports; tuned add_space; tuned print_sg; fixed "op ==>" syntax;
1997-10-09 wenzelm 1997-10-09 fixed axiom names;
1997-10-08 wenzelm 1997-10-08 symbols syntax;
1997-10-08 wenzelm 1997-10-08 A formalization of TLA in HOL -- by Stephan Merz;
1997-10-07 wenzelm 1997-10-07 improved types of add_XXX funs (xtyp etc.);
1997-10-07 wenzelm 1997-10-07 improved types of add_XXX funs (xtyp etc.); tuned comments; tuned msgs; improved merge: no longer raises ERROR, but TERM;
1997-10-07 wenzelm 1997-10-07 tuned decode;
1997-10-07 wenzelm 1997-10-07 tuned internal mapping table; improved merge: 2nd overrides 1st;
1997-10-07 wenzelm 1997-10-07 tuned;
1997-10-07 wenzelm 1997-10-07 tuned warning msg;
1997-10-07 wenzelm 1997-10-07 tuned;
1997-10-07 wenzelm 1997-10-07 The Isabelle Logo;
1997-10-06 wenzelm 1997-10-06 fixed 'begin';
1997-10-06 wenzelm 1997-10-06 optional begin keyword;
1997-10-06 wenzelm 1997-10-06 "->" made syntax;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ;
1997-10-06 wenzelm 1997-10-06 add_arities_i;
1997-10-06 wenzelm 1997-10-06 TODO: handle internal / external names;
1997-10-06 wenzelm 1997-10-06 now supports qualified names (intern vs. extern) !!! added long_names: bool ref (initially false); new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i; rep_sg: added path, spaces; added pretty_sort (uses proper syntax); improved print_sg; eliminated raise_term, raise_typ;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ; tuned get_sort, decode_types, infer_types to accomodate qualified names;
1997-10-06 wenzelm 1997-10-06 tuned read_cterms;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ; new internal forms: add_inst_subclass_i, add_inst_arity_i;
1997-10-06 wenzelm 1997-10-06 new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i added add_path, add_space; eliminated raise_term;
1997-10-06 wenzelm 1997-10-06 tuned;
1997-10-06 wenzelm 1997-10-06 now uses new Sign.pretty_sort;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term, raise_typ;
1997-10-06 wenzelm 1997-10-06 now uses Syntax.simple_str_of_sort;
1997-10-06 wenzelm 1997-10-06 added simple_str_of_sort;
1997-10-06 wenzelm 1997-10-06 eliminated raise_term;
1997-10-06 wenzelm 1997-10-06 added 'path' section; root path at end;
1997-10-06 wenzelm 1997-10-06 added pretty_sort; tuned read_typ; tuned pretty_term; removed string_of_term, string_of_typ;
1997-10-06 wenzelm 1997-10-06 fixed raw_term_sorts (again!); eliminated raise_ast;
1997-10-06 wenzelm 1997-10-06 eliminated raise_ast, raise_term, raise_typ;
1997-10-06 wenzelm 1997-10-06 added sort_to_ast; eliminated raise_ast;
1997-10-06 wenzelm 1997-10-06 eliminated raise_ast;
1997-10-06 wenzelm 1997-10-06 RAW target;