| 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 |