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 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

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
adapted Type.typ_match;
2005-07-28, by wenzelm
Sign.typ_unify;
2005-07-28, by wenzelm
Term.bound;
2005-07-28, by wenzelm
print_theory: const constraints;
2005-07-28, by wenzelm
Type.raw_instance, Type.raw_unify, Term.zero_var_indexesT;
2005-07-28, by wenzelm
Sign.typ_match;
2005-07-28, by wenzelm
Sign.typ_unify;
2005-07-28, by wenzelm
fixed var index in tactic;
2005-07-28, by wenzelm
proper header;
2005-07-28, by wenzelm
Sign.typ_instance;
2005-07-28, by wenzelm
updated;
2005-07-28, by wenzelm
tuned;
2005-07-28, by wenzelm
now for Mailman-enabled mailing list
2005-07-28, by paulson
now for Mailman-enabled mailing list
2005-07-28, by paulson
now for Mailman-enabled mailing list
2005-07-28, by paulson
simpler variable names, and no types for monomorphic constants
2005-07-27, by paulson
removed the dependence on abs_mult
2005-07-27, by paulson
fixed typo
2005-07-26, by huffman
brought ML files up to date with new lemmas
2005-07-26, by huffman
renamed Exh_Ssum1 to Exh_Ssum; cleaned up
2005-07-26, by huffman
cleaned up
2005-07-26, by huffman
removed duplicated code; generate new lub and thelub lemmas for new cpo types
2005-07-26, by huffman
cleaned up; renamed some theorems
2005-07-26, by huffman
add theorem fix_defined_iff; cleaned up
2005-07-26, by huffman
add theorem cpair_defined_iff
2005-07-26, by huffman
write_dimacs_sat_file and write_dimacs_cnf_file now write the file in chunks
2005-07-26, by webertj
replaced calls to PropLogic.auxcnf by PropLogic.defcnf again
2005-07-26, by webertj
comment modified
2005-07-26, by webertj
write_dimacs_sat_file writes outer parentheses again
2005-07-26, by webertj
replaced calls to PropLogic.defcnf by PropLogic.auxcnf
2005-07-26, by webertj
minor parameter changes
2005-07-26, by webertj
defcnf renamed to auxcnf, new defcnf algorithm added, simplify added
2005-07-25, by webertj
Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy
2005-07-25, by avigad
defcnf modified to internally use a reference
2005-07-25, by webertj
dead code removal
2005-07-22, by paulson
reformatting and tidying
2005-07-22, by paulson
tidied up the tracing output
2005-07-22, by paulson
streamlined the tptp output
2005-07-22, by paulson
removed unused code
2005-07-22, by paulson
Tuned comment.
2005-07-22, by berghofe

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

isabelle