| Mon, 05 Jul 2010 14:34:28 +0200 | simplified representation of monad type | file | diff | annotate |
| Wed, 31 Mar 2010 16:44:41 +0200 | adding MREC induction rule in Imperative HOL | file | diff | annotate |
| Thu, 08 Jan 2009 17:10:41 +0100 | split of Imperative_HOL theories from HOL-Library | file | diff | annotate | base |