Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2014-02-25 kuncar simplify a proof due to 6c95a39348bd changeset | files
2014-02-25 kuncar new rule for making rsp theorem more readable changeset | files
2014-02-25 kuncar unregister lifting setup following the best practice of Lifting changeset | files
2014-02-25 paulson generalised some results using type classes changeset | files
2014-02-25 paulson More complex-related lemmas changeset | files
2014-02-25 kuncar the rules are not needed due to 1726f46d2aa8 changeset | files
2014-02-25 kuncar simplify and repair proofs due to df0fda378813 changeset | files
2014-02-25 kuncar rewrite composition of quotients to a more readable form in a respectfulness goal that is presented to a user changeset | files
2014-02-24 paulson Gauss.thy ported from Old_Number_Theory (unfinished) changeset | files
2014-02-24 wenzelm merged changeset | files
2014-02-24 wenzelm reverted c05d3e22adaf: Locale.intern is still required by AFP/Simpl; changeset | files
2014-02-24 wenzelm optimize special case according to Library.merge (see also 8fbc355100f2, 520872460b7b); changeset | files
2014-02-24 wenzelm tuned colors; changeset | files
2014-02-24 wenzelm prefer standard Proof_Context.transfer, with theory stamp transfer (should now work thanks to purely functional theory, without Theory.copy etc.); changeset | files
2014-02-24 kuncar more robust registration of code equations changeset | files
2014-02-24 kuncar be consistent and produce always rep_eq with = changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
isabelle