Wed, 29 Aug 2012 12:24:26 +0900 |
Christian Sternagel |
base Sublist_Order on Sublist (using a simplified form of embedding as sublist relation)
|
file |
diff |
annotate
|
Mon, 12 Jul 2010 08:58:13 +0200 |
haftmann |
dropped superfluous [code del]s
|
file |
diff |
annotate
|
Sat, 07 Nov 2009 08:17:52 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 09:18:03 +0100 |
nipkow |
Completely overhauled
|
file |
diff |
annotate
|
Fri, 27 Mar 2009 10:05:11 +0100 |
haftmann |
normalized imports
|
file |
diff |
annotate
|
Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
Fri, 25 Jul 2008 12:03:34 +0200 |
haftmann |
added class preorder
|
file |
diff |
annotate
|
Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
Tue, 22 Apr 2008 08:33:21 +0200 |
haftmann |
added theory Sublist_Order
|
file |
diff |
annotate
|