isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Support for copy-avoiding functions on pure values, at the cost of readability.
2009-07-16, by wenzelm
removed obsolete/unused legacy_varify;
2009-07-16, by wenzelm
eliminated legacy_varify;
2009-07-16, by wenzelm
merged
2009-07-15, by wenzelm
simplified proofs
2009-07-15, by Christian Urban
more antiquotations;
2009-07-15, by wenzelm
eliminated obsolete legacy_varify;
2009-07-15, by wenzelm
tuned comment;
2009-07-15, by wenzelm
Made "prime" executable
2009-07-15, by nipkow
More finite set induction rules
2009-07-15, by nipkow
made upt/upto executable on nat/int by simp
2009-07-15, by nipkow
removed obsolete/unused legacy_unvarify;
2009-07-14, by wenzelm
tuned prepare_patternT: Term.exists_subtype;
2009-07-14, by wenzelm
tuned paramify_vars: Term_Subst.map_atypsT_option;
2009-07-14, by wenzelm
merged
2009-07-14, by haftmann
updated to changes in sources; tuned
2009-07-14, by haftmann
updated to changes in sources; tuned
2009-07-14, by haftmann
code attributes use common underscore convention
2009-07-14, by haftmann
NEWS and CONTRIBUTORS
2009-07-14, by haftmann
Tuned proof of lcm_1_iff_int, because metis produced enormous proof term.
2009-07-13, by berghofe
more gcd/lcm lemmas
2009-07-12, by nipkow
typo
2009-07-12, by nipkow
resolvd conflict
2009-07-12, by nipkow
More about gcd/lcm, and some cleaning up
2009-07-12, by nipkow
added boolean_algebra type class; tuned lattice duals
2009-07-11, by haftmann
move Kleene_Algebra to Library
2009-07-10, by krauss
merged
2009-07-10, by haftmann
tuned locale interface
2009-07-10, by haftmann
tuned
2009-07-10, by haftmann
dropped find_index_eq
2009-07-10, by haftmann

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

isabelle