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/UNITY/UNITY_tactics.ML
Wed, 06 Dec 2006 01:12:36 +0100 wenzelm removed legacy ML bindings; file | diff | annotate
Sat, 08 Feb 2003 16:05:33 +0100 paulson converting HOL/UNITY to use unconditional fairness file | diff | annotate
Fri, 31 Jan 2003 20:12:44 +0100 paulson conversion to new-style theories and tidying file | diff | annotate
Thu, 30 Jan 2003 18:08:09 +0100 paulson conversion of UNITY theories to new-style file | diff | annotate
Thu, 30 Jan 2003 10:35:56 +0100 paulson converting more UNITY theories to new-style file | diff | annotate
Wed, 29 Jan 2003 16:34:51 +0100 paulson converted more UNITY theories to new-style file | diff | annotate
Wed, 29 Jan 2003 11:02:08 +0100 paulson converting UNITY to new-style theories file | diff | annotate
Fri, 24 Jan 2003 18:13:59 +0100 paulson More conversion of UNITY to Isar new-style theories file | diff | annotate
less more (0) tip
isabelle