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/HOL/Metis_Examples/Tarski.thy
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path; file | diff | annotate
Wed, 15 Dec 2010 11:26:28 +0100 blanchet example tuning file | diff | annotate
Wed, 15 Dec 2010 11:26:28 +0100 blanchet added example to exercise higher-order reasoning with Sledgehammer and Metis file | diff | annotate
Wed, 01 Sep 2010 00:07:31 +0200 blanchet rename sledgehammer config attributes file | diff | annotate
Mon, 28 Jun 2010 18:47:07 +0200 blanchet no setup is necessary anymore file | diff | annotate
Thu, 29 Apr 2010 01:11:06 +0200 blanchet more neg_clausify proofs that get replaced by direct proofs file | diff | annotate
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) file | diff | annotate
Mon, 08 Feb 2010 21:28:27 +0100 wenzelm modernized some syntax translations; file | diff | annotate
Tue, 20 Oct 2009 19:52:04 +0200 wenzelm modernized session Metis_Examples; file | diff | annotate | base
less more (0) tip
isabelle