Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
1997-10-16 wenzelm oops; changeset | files
1997-10-16 nipkow The simplifier has been improved a little: equations s=t which used to be changeset | files
1997-10-16 wenzelm fixed dependencies; changeset | files
1997-10-16 wenzelm transfer thy Ord_nat; changeset | files
1997-10-16 wenzelm sevaral goals restated in mono.thy; changeset | files
1997-10-16 wenzelm moved rank_Inl, rank_Inr from Epsilon.ML to Univ.ML; changeset | files
1997-10-16 wenzelm transfer InfDatatype.thy Limit_VfromE; changeset | files
1997-10-16 wenzelm transfer CardinalArith.thy nat_into_Ord; changeset | files
1997-10-16 wenzelm improved pretty_arity; changeset | files
1997-10-16 wenzelm added merge_theories (new name arg); changeset | files
1997-10-16 wenzelm fixed merge_theories; changeset | files
1997-10-16 wenzelm revert to 1.3; changeset | files
1997-10-16 wenzelm revert to 1.1; changeset | files
1997-10-16 nipkow Added last, butlast, dropped ttl. changeset | files
1997-10-16 mueller lala changeset | files
Loading...
(0) -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle