isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

now falls back on ucat instead of cat;
1997-02-06, by wenzelm
improved usage msg;
1997-02-06, by wenzelm
added eq_sort (will move to sorts.ML eventually);
1997-02-06, by wenzelm
adapted to new Syntax.read_typ;
1997-02-06, by wenzelm
adapted read_typ, simple_read_typ;
1997-02-06, by wenzelm
improved comments;
1997-02-06, by wenzelm
added string_of_vname' (treats neg. index as free);
1997-02-06, by wenzelm
cd made readably again;
1997-02-06, by wenzelm
tuned;
1997-02-05, by wenzelm
Gradual switching to Basis Library functions nth, drop, etc.
1997-02-04, by paulson
now uses tee -i instead of perl;
1997-02-04, by wenzelm
now uses ISABELLE_INSTALLFONTS;
1997-02-04, by wenzelm
added ISABELLE_INSTALLFONTS;
1997-02-04, by wenzelm
Declaration of ccontr (classical contradiction) for HOL compatibility
1997-01-31, by paulson
Correction to Problem 24
1997-01-31, by paulson
Correction to Problem 24
1997-01-31, by paulson
Correction to Problem 24 (with unsatisfactory proof)
1997-01-31, by paulson
ex_impE was incorrectly listed as Safe
1997-01-31, by paulson
reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains
1997-01-31, by oheimb
added Classlib.* and Witness.*,
1997-01-31, by oheimb
moved Coind.*, Dagstuhl.*, Focus_ex.* to HOLCF/ex,
1997-01-31, by oheimb
added def_fix_ind and def_wfix_ind for convenience
1997-01-31, by oheimb
added addloop (and also documentation of addsolver
1997-01-31, by oheimb
changed handling of cont_lemmas and adm_lemmas
1997-01-31, by oheimb
fixed getplatform call;
1997-01-29, by wenzelm
removed warning for unprintable chars in strings (functionality will
1997-01-29, by wenzelm
The redeclaration of qed_spec_mp is unnecessary because it is now declared
1997-01-29, by paulson
Moved qed_spec_mp, etc., from HOL.ML to thy_data.ML so that they work
1997-01-29, by paulson
fixed problems with strange user .bashrc etc. (stty, ...);
1997-01-28, by wenzelm
Tidied unicity theorems
1997-01-27, by paulson

less more | (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle