src/Pure/sign.ML
2001-11-28 wenzelm 2001-11-28 Syntax.read_typ: pass intern sort fn;
2001-11-28 wenzelm 2001-11-28 data: removed obsolete finish method;
2001-11-26 wenzelm 2001-11-26 clarified order of merge_lists';
2001-11-24 wenzelm 2001-11-24 merge_stamps: merge_lists' with reversed args;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-11-06 wenzelm 2001-11-06 added pretty_term', read_typ', read_typ_no_norm', read_def_terms' which refer to local syntax;
2001-10-11 wenzelm 2001-10-11 added certify_tyname;
2001-08-15 wenzelm 2001-08-15 support for absolute namespace entry paths;
2001-01-18 wenzelm 2001-01-18 added exists_stamp; added PureN, CPureN;
2000-11-10 wenzelm 2000-11-10 added certify_tycon, certify_tyabbr, certify_const;
2000-11-06 wenzelm 2000-11-06 added typ_instance;
2000-08-03 wenzelm 2000-08-03 typ_no_norm;
2000-06-03 wenzelm 2000-06-03 fixed Thm.eq_thm: use Sign.joinable;
2000-05-23 paulson 2000-05-23 eta-expanded to handle value polymorphism
2000-05-21 wenzelm 2000-05-21 removed is_type_abbr; added certify_class, certify_sort, read_sort; adapted to inner syntax of sorts;
2000-05-05 wenzelm 2000-05-05 added simple_read_term;
2000-04-17 wenzelm 2000-04-17 made SML/NJ happy;
2000-04-17 wenzelm 2000-04-17 name space hide operations;
2000-04-14 wenzelm 2000-04-14 added is_type_abbr;
2000-03-30 wenzelm 2000-03-30 read_def_terms (no certify yet);
2000-02-24 wenzelm 2000-02-24 nodup_vars: fixed omission of 2 minor cases; account for Frees as well;
1999-09-29 wenzelm 1999-09-29 added witness_sorts, univ_witness; removed nonempty_sort;
1999-07-23 wenzelm 1999-07-23 Type.norm_term;
1999-07-10 wenzelm 1999-07-10 err_method: pass exn; nontriv_merge: no handle_error;
1999-06-28 wenzelm 1999-06-28 added cond_extern_table;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-03-09 wenzelm 1999-03-09 token translation: real;
1999-02-03 wenzelm 1999-02-03 renamed sig to PRIVATE_SIGN;
1998-12-28 paulson 1998-12-28 comments
1998-10-13 wenzelm 1998-10-13 PRIVATE sig parts;
1998-10-09 nipkow 1998-10-09 Unified treatment of type error msgs.
1998-10-09 nipkow 1998-10-09 Added a few breaks in error text.
1998-07-22 wenzelm 1998-07-22 moved long_names / cond_extern to name_space.ML;
1998-06-05 wenzelm 1998-06-05 improved data: secure version using Object.T and Object.kind;
1998-05-25 wenzelm 1998-05-25 certify_term: type_check replaces Term.type_of, providing sensible error messages; eliminated mapfilt_atoms (use Term.foldl_aterms);
1998-05-20 wenzelm 1998-05-20 added is_stale;
1998-05-10 wenzelm 1998-05-10 tuned comment;
1998-05-04 wenzelm 1998-05-04 tuned msg;
1998-04-29 wenzelm 1998-04-29 added defaultS: sg -> sort; added full_name_path: sg -> string -> bstring -> string; added add_nonterminals: bstring list -> sg -> sg;
1998-02-12 wenzelm 1998-02-12 Sign.merge vs. Sign.nontriv_merge;
1998-02-12 wenzelm 1998-02-12 fixed add_trrules: intern root;
1998-01-14 wenzelm 1998-01-14 added of_sort;
1997-12-28 wenzelm 1997-12-28 renamed Symtab.null to Symtab.empty; renamed Symtan.extend_new to Symtab.extend; renamed Symtan.DUPLICATE to Symtab.DUP;
1997-12-02 wenzelm 1997-12-02 tuned trfuns types;
1997-11-20 wenzelm 1997-11-20 improved error msg;
1997-11-20 wenzelm 1997-11-20 removed data.ML (made part of sign.ML);
1997-11-20 wenzelm 1997-11-20 exported pretty_classrel, pretty_arity; added infer_types_simult; tuned infer_types interface; moved print_sg to display.ML;
1997-11-14 wenzelm 1997-11-14 merge_refs: check for different versions of theories;
1997-11-13 wenzelm 1997-11-13 export read_raw_typ;
1997-11-05 wenzelm 1997-11-05 adapted add_trfunsT;
1997-11-04 wenzelm 1997-11-04 type object = exn (enhance readability);
1997-10-31 wenzelm 1997-10-31 *** empty log message ***
1997-10-31 wenzelm 1997-10-31 added str_of_sg: sg -> string; improved error handling of data access;
1997-10-28 wenzelm 1997-10-28 add_typ_classes, add_typ_tycons, add_term_classes, add_term_tycons, add_term_consts, map_typ, map_term: moved from sign.ML to term.ML;
1997-10-27 wenzelm 1997-10-27 made SML/NJ happy;
1997-10-24 wenzelm 1997-10-24 self_ref: check_stale; moved pure stuff to pure_thy.ML;
1997-10-23 wenzelm 1997-10-23 hide id, stamps; added stamp_names_of, name_of; replaced make_draft by prep_ext; improved print_sg; tuned;
1997-10-22 wenzelm 1997-10-22 certify: check_stale;
1997-10-21 wenzelm 1997-10-21 sg_ref: automatic adjustment of thms of draft theories;
1997-10-20 wenzelm 1997-10-20 tuned types;