1997-10-15 wenzelm 1997-10-15 tuned comment;
1997-10-15 wenzelm 1997-10-15 improved print_data;
1997-10-15 wenzelm 1997-10-15 tuned; prepare ext;
1997-10-15 wenzelm 1997-10-15 slightly changed interfaces for oracles;
1997-10-15 nipkow 1997-10-15 Added ack to Mateja Jamnik.
1997-10-15 wenzelm 1997-10-15 tuned;
1997-10-14 wenzelm 1997-10-14 tuned;
1997-10-14 wenzelm 1997-10-14 added additional generic data;
1997-10-14 wenzelm 1997-10-14 Sign.print_data;
1997-10-14 wenzelm 1997-10-14 added init_data, get_data, put_data;
1997-10-14 wenzelm 1997-10-14 added data.ML;
1997-10-14 wenzelm 1997-10-14 Arbitrarily typed data.
1997-10-14 paulson 1997-10-14 Patch to avoid simplification of ~EX to ALL~ Also some better indentation
1997-10-14 nipkow 1997-10-14 Two lemmas are already in List.
1997-10-14 nipkow 1997-10-14 More lemmas, esp. ~Bex and ~Ball conversions.
1997-10-14 nipkow 1997-10-14 Added neagtion rules for Ball and Bex. ZF/AC now fails to build. Larry to fix.
1997-10-14 wenzelm 1997-10-14 tuned;
1997-10-14 wenzelm 1997-10-14 browser info;
1997-10-14 paulson 1997-10-14 rearranged and added TLA
1997-10-13 wenzelm 1997-10-13 fixed extern; added str_of_classrel, str_of_arity, str_of_arity;
1997-10-13 wenzelm 1997-10-13 uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;
1997-10-13 wenzelm 1997-10-13 uses Sign.str_of_sort;
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-10-13 wenzelm 1997-10-13 print_goals: optional output of const types (set show_consts);
1997-10-13 wenzelm 1997-10-13 merge: drops path elements;
1997-10-13 merz 1997-10-13 Absolute URL's for documentation
1997-10-13 wenzelm 1997-10-13 non-transparent logo;
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-10-13 wenzelm 1997-10-13 hierachically structured name spaces;
1997-10-12 berghofe 1997-10-12 Changed logo.
1997-10-12 berghofe 1997-10-12 Added command for copying new logo.
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 tuned;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-10-10 wenzelm 1997-10-10 BAD_space_explode;
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;