Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2001-10-04 wenzelm major_prem_of: Logic.strip_assums_concl; changeset | files
2001-10-04 wenzelm induct/cases made generic, removed simplified/stripped options; changeset | files
2001-10-04 wenzelm improved proof by cases and induction; changeset | files
2001-10-04 wenzelm removed obsolete comment; changeset | files
2001-10-04 wenzelm generic induct_method.ML; changeset | files
2001-10-04 wenzelm non-oriented infix = and ~= (output only); changeset | files
2001-10-04 wenzelm $(SRC)/Provers/induct_method.ML replaces Tools/induct_method.ML; changeset | files
2001-10-04 wenzelm use "~~/src/Provers/induct_method.ML"; changeset | files
2001-10-04 wenzelm removed hol_rewrite_cterm (use full_rewrite_cterm from Pure); changeset | files
2001-10-04 wenzelm added dest_concls; changeset | files
2001-10-04 wenzelm simp_case_tac is back again from induct_method.ML; changeset | files
2001-10-04 wenzelm made generic (see Provers/induct_method.ML); changeset | files
2001-10-04 wenzelm qualify MetaSimplifier; changeset | files
2001-10-04 wenzelm unsymbolized; changeset | files
Loading...
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle