| Thu, 30 Aug 2012 15:44:03 +0900 | Christian Sternagel | forgot to add lemmas | file | diff | annotate |
| Thu, 30 Aug 2012 13:06:04 +0900 | Christian Sternagel | Main is implicitly imported via Sublist | file | diff | annotate |
| Wed, 29 Aug 2012 16:25:35 +0900 | Christian Sternagel | introduced "sub" as abbreviation for "emb (op =)"; | file | diff | annotate |
| 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 |