Fri, 06 Feb 2009 09:05:19 +0100 | mandatory prefix for index conversion operations | file | diff | annotate |
Tue, 03 Feb 2009 19:37:00 +0100 | changed name space policy for Haskell includes | file | diff | annotate |
Thu, 08 Jan 2009 17:10:41 +0100 | split of Imperative_HOL theories from HOL-Library | file | diff | annotate | base |