Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
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
|
Thu, 23 Jul 2015 14:25:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 16:39:54 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Tue, 06 Mar 2012 17:01:37 +0000 |
paulson |
More mathematical symbols for ZF examples
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 18:08:39 +0200 |
wenzelm |
updated some headers;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Sun, 07 Oct 2007 21:19:31 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Sun, 19 Sep 2004 16:51:10 +0200 |
paulson |
converting UNITY/MultisetSum.ML to Isar script
|
file |
diff |
annotate
|
Wed, 28 May 2003 18:13:41 +0200 |
paulson |
some new ZF/UNITY material from Sidi Ehmety
|
file |
diff |
annotate
|