1997-10-09 |
wenzelm |
tuned exports;
|
changeset |
files
|
1997-10-09 |
wenzelm |
fixed axiom names;
|
changeset |
files
|
1997-10-08 |
wenzelm |
symbols syntax;
|
changeset |
files
|
1997-10-08 |
wenzelm |
A formalization of TLA in HOL -- by Stephan Merz;
|
changeset |
files
|
1997-10-07 |
wenzelm |
improved types of add_XXX funs (xtyp etc.);
|
changeset |
files
|
1997-10-07 |
wenzelm |
improved types of add_XXX funs (xtyp etc.);
|
changeset |
files
|
1997-10-07 |
wenzelm |
tuned decode;
|
changeset |
files
|
1997-10-07 |
wenzelm |
tuned internal mapping table;
|
changeset |
files
|
1997-10-07 |
wenzelm |
tuned;
|
changeset |
files
|
1997-10-07 |
wenzelm |
tuned warning msg;
|
changeset |
files
|
1997-10-07 |
wenzelm |
tuned;
|
changeset |
files
|
1997-10-07 |
wenzelm |
The Isabelle Logo;
|
changeset |
files
|
1997-10-06 |
wenzelm |
fixed 'begin';
|
changeset |
files
|
1997-10-06 |
wenzelm |
optional begin keyword;
|
changeset |
files
|
1997-10-06 |
wenzelm |
"->" made syntax;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
1997-10-06 |
wenzelm |
add_arities_i;
|
changeset |
files
|
1997-10-06 |
wenzelm |
TODO: handle internal / external names;
|
changeset |
files
|
1997-10-06 |
wenzelm |
now supports qualified names (intern vs. extern) !!!
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
1997-10-06 |
wenzelm |
tuned read_cterms;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
1997-10-06 |
wenzelm |
new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i
|
changeset |
files
|
1997-10-06 |
wenzelm |
tuned;
|
changeset |
files
|
1997-10-06 |
wenzelm |
now uses new Sign.pretty_sort;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
1997-10-06 |
wenzelm |
now uses Syntax.simple_str_of_sort;
|
changeset |
files
|
1997-10-06 |
wenzelm |
added simple_str_of_sort;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_term;
|
changeset |
files
|
1997-10-06 |
wenzelm |
added 'path' section;
|
changeset |
files
|
1997-10-06 |
wenzelm |
added pretty_sort;
|
changeset |
files
|
1997-10-06 |
wenzelm |
fixed raw_term_sorts (again!);
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_ast, raise_term, raise_typ;
|
changeset |
files
|
1997-10-06 |
wenzelm |
added sort_to_ast;
|
changeset |
files
|
1997-10-06 |
wenzelm |
eliminated raise_ast;
|
changeset |
files
|
1997-10-06 |
wenzelm |
RAW target;
|
changeset |
files
|
1997-10-06 |
wenzelm |
syntactic constants;
|
changeset |
files
|
1997-10-03 |
paulson |
Routine tidying up
|
changeset |
files
|
1997-10-02 |
wenzelm |
fully qualified names: Theory.add_XXX;
|
changeset |
files
|
1997-10-01 |
wenzelm |
fully qualified name: Theory.set_oracle;
|
changeset |
files
|
1997-10-01 |
wenzelm |
exported separator;
|
changeset |
files
|
1997-10-01 |
wenzelm |
fully qualified names: Theory.add_XXX;
|
changeset |
files
|
1997-10-01 |
wenzelm |
moved theory stuff (add_defs etc.) here from drule.ML;
|
changeset |
files
|
1997-10-01 |
wenzelm |
moved theory stuff (add_defs etc.) to theory.ML;
|
changeset |
files
|
1997-10-01 |
wenzelm |
fully qualified name: Theory.merge_thy_list;
|
changeset |
files
|
1997-10-01 |
wenzelm |
fully qualified names: Theory.add_XXX;
|
changeset |
files
|
1997-10-01 |
wenzelm |
added name_space.ML;
|
changeset |
files
|
1997-10-01 |
wenzelm |
added split_last;
|
changeset |
files
|
1997-10-01 |
wenzelm |
Hierarchically structured name spaces.
|
changeset |
files
|
1997-10-01 |
paulson |
Strengthened the possibility property for resumption so that it could have
|
changeset |
files
|
1997-10-01 |
paulson |
Fixed ServerResume to check for ServerHello instead of making a new NB
|
changeset |
files
|
1997-10-01 |
paulson |
Exchanged the M and SID fields of the FINISHED messages to simplify proofs;
|
changeset |
files
|
1997-10-01 |
paulson |
Exchanged the M and SID fields of the FINISHED messages to simplify proofs
|
changeset |
files
|
1997-10-01 |
paulson |
Auto update
|
changeset |
files
|
1997-09-30 |
berghofe |
SYNC
|
changeset |
files
|
1997-09-30 |
berghofe |
Removed "browse.tex".
|
changeset |
files
|
1997-09-30 |
berghofe |
Added section describing the theory browser.
|
changeset |
files
|
1997-09-30 |
berghofe |
Updated usage information for tool "usedir".
|
changeset |
files
|
1997-09-30 |
berghofe |
Theory browser stuff has been moved to "present.tex".
|
changeset |
files
|