| 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 |
| Wed, 09 Apr 2008 08:10:11 +0200 | haftmann | removed syntax from monad combinators; renamed mbind to scomp | file | diff | annotate |
| Fri, 14 Mar 2008 08:52:51 +0100 | haftmann | tuned | file | diff | annotate |
| Wed, 12 Mar 2008 08:47:36 +0100 | haftmann | tuned | file | diff | annotate |
| Tue, 26 Feb 2008 07:59:58 +0100 | haftmann | operation collapse | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:20 +0100 | haftmann | some more primrec | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:12 +0100 | haftmann | switched import from Main to List | file | diff | annotate |
| Mon, 13 Aug 2007 21:22:42 +0200 | haftmann | fixed syntax | file | diff | annotate |
| Fri, 10 Aug 2007 17:10:05 +0200 | haftmann | syntax fix | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:45 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 13 Apr 2007 21:26:34 +0200 | wenzelm | do translation: CONST; | file | diff | annotate |
| Wed, 21 Mar 2007 16:06:15 +0100 | krauss | Unified function syntax | file | diff | annotate |
| Wed, 28 Feb 2007 22:05:43 +0100 | wenzelm | tuned ML setup; | file | diff | annotate |
| Wed, 13 Dec 2006 20:38:19 +0100 | haftmann | whitespace correction | file | diff | annotate |
| Wed, 13 Dec 2006 15:45:29 +0100 | haftmann | dropped superfluous header | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:22 +0100 | wenzelm | simplified syntax for 'definition', 'abbreviation'; | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:27 +0100 | haftmann | added combinators and lemmas | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Fri, 10 Nov 2006 07:37:35 +0100 | haftmann | improved syntax | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:33 +0100 | haftmann | added state monad to HOL library | file | diff | annotate |