Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Sequents/LK.thy
2016-07-20 wenzelm tuned; file | diff | annotate
2015-10-10 wenzelm more symbols; file | diff | annotate
2015-10-10 wenzelm more symbols; file | diff | annotate
2015-07-23 wenzelm isabelle update_cartouches; file | diff | annotate
2015-07-18 wenzelm prefer tactics with explicit context; file | diff | annotate
2015-02-10 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; file | diff | annotate
2014-02-01 wenzelm method_setup "lem"; file | diff | annotate
2014-02-01 wenzelm proper Simplifier method setup; file | diff | annotate
2014-02-01 wenzelm misc tuning and modernization; file | diff | annotate
2013-04-18 wenzelm simplifier uses proper Proof.context instead of historic type simpset; file | diff | annotate
2012-08-22 wenzelm prefer ML_file over old uses; file | diff | annotate
2011-11-20 wenzelm eliminated obsolete "standard"; file | diff | annotate
2011-05-13 wenzelm clarified map_simpset versus Simplifier.map_simpset_global; file | diff | annotate
2011-03-13 wenzelm tuned headers; file | diff | annotate
2009-03-20 wenzelm eliminated global SIMPSET, CLASET etc. -- refer to explicit context; file | diff | annotate
2008-12-03 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s file | diff | annotate
2008-06-11 wenzelm converted ML proofs from simpdata.ML; file | diff | annotate
2006-11-20 wenzelm removed legacy ML setup; file | diff | annotate
2005-09-18 wenzelm converted to Isar theory format; file | diff | annotate
1999-07-28 paulson congruence rule for |- file | diff | annotate
1999-07-27 paulson a new theory containing just an axiom needed to derive imp_cong file | diff | annotate
1999-04-20 paulson IMPORTANT CHANGE: declares class "term". Previously LK (incorrectly) file | diff | annotate
1997-10-10 wenzelm fixed dots; file | diff | annotate
1996-10-09 paulson New unified treatment of sequent calculi by Sara Kalvala file | diff | annotate
less more (0) tip
isabelle