isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned msg;
2005-08-01, by wenzelm
PolyML.Compiler.printInAlphabeticalOrder := false;
2005-08-01, by wenzelm
polyml: use polyml-platform/version from Isabelle distribution;
2005-08-01, by wenzelm
obsolete;
2005-08-01, by wenzelm
1. changed configuration variables for linear programming (Cplex_tools):
2005-08-01, by obua
added map_filter lemmas
2005-08-01, by nipkow
Ordering is now: first by number of assumptions, second by the substitution size.
2005-08-01, by kleing
addedd ID line
2005-07-30, by nipkow
mentioned Ln in NEWS
2005-07-29, by avigad
fixed minor typo in comments
2005-07-29, by avigad
changed import to Ln
2005-07-29, by avigad
added a new theory; properties of ln
2005-07-29, by avigad
P.opt_locale_target;
2005-07-29, by wenzelm
nameless theorems: better names, flag to omit them
2005-07-29, by paulson
invents theorem names; also patches write_out_clasimp
2005-07-28, by paulson
dead code
2005-07-28, by paulson
new function trim_ends
2005-07-28, by paulson
uniform treatment of variable prefixes
2005-07-28, by paulson
corrected some typos
2005-07-28, by haftmann
new droplet
2005-07-28, by paulson
Added flag ResClasimp.use_simpset to allow exclusion of simpset rules from ATP problem files
2005-07-28, by quigley
tuned gen_all, forall_elim_list, implies_intr_list, standard;
2005-07-28, by wenzelm
Sign.typ_unify;
2005-07-28, by wenzelm
Sign.typ_unify;
2005-07-28, by wenzelm
typ_match, unify: canonical argument order;
2005-07-28, by wenzelm
added weaken, adjust_maxidx_thm;
2005-07-28, by wenzelm
check_overloading replaces datatype overloading;
2005-07-28, by wenzelm
added add_tfreesT, add_tfrees;
2005-07-28, by wenzelm
norm_hhf_rule: Thm.adjust_maxidx_thm before Drule.gen_all;
2005-07-28, by wenzelm
added add_const_constraint(_i), const_constraint;
2005-07-28, by wenzelm

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

isabelle