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/SPARK/Manual/Simple_Greatest_Common_Divisor.thy
Fri, 03 Nov 2017 13:43:31 +0100 wenzelm less global theories -- avoid confusion about special cases; file | diff | annotate
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; file | diff | annotate
Sat, 22 Apr 2017 22:01:35 +0200 wenzelm theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications; file | diff | annotate
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t; file | diff | annotate
Mon, 01 Sep 2014 18:42:02 +0200 blanchet ported to use new-style datatypes file | diff | annotate
Wed, 30 Apr 2014 15:43:44 +0200 berghofe Discontinued old spark_open; spark_open_siv is now spark_open file | diff | annotate
Mon, 21 Nov 2011 19:52:50 +0100 wenzelm tuned header; file | diff | annotate
Fri, 23 Sep 2011 17:11:08 +0200 wenzelm updated header; file | diff | annotate
Thu, 22 Sep 2011 16:50:23 +0200 berghofe Added documentation for HOL-SPARK file | diff | annotate
less more (0) tip
isabelle