Wed, 03 Dec 2008 15:58:44 +0100 |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file | diff | annotate |
Tue, 07 Oct 2008 16:07:50 +0200 |
arbitrary is undefined
|
file | diff | annotate |
Tue, 23 Sep 2008 18:11:42 +0200 |
renamed rtype to typerep
|
file | diff | annotate |
Thu, 28 Aug 2008 17:54:18 +0200 |
more function -> fun
|
file | diff | annotate |
Mon, 07 Jul 2008 08:47:17 +0200 |
absolute imports of HOL/*.thy theories
|
file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 |
established Plain theory and image
|
file | diff | annotate |
Sat, 17 May 2008 21:46:22 +0200 |
avoid undeclared variables within proofs;
|
file | diff | annotate |
Wed, 07 May 2008 10:59:32 +0200 |
Deleted instance "set :: ({heap, finite}) heap"
|
file | diff | annotate |
Wed, 09 Apr 2008 05:44:14 +0200 |
fix spelling
|
file | diff | annotate |
Mon, 17 Mar 2008 18:37:00 +0100 |
removed duplicate lemmas;
|
file | diff | annotate |
Wed, 27 Feb 2008 21:41:08 +0100 |
added theories for imperative HOL
|
file | diff | annotate |