Sat, 13 Aug 2011 18:10:14 -0700 | huffman | HOL-Nominal-Examples: respect distinction between sets and functions | file | diff | annotate |
Fri, 04 Mar 2011 00:09:47 +0100 | wenzelm | eliminated prems; | file | diff | annotate |
Thu, 22 Apr 2010 22:01:06 +0200 | wenzelm | split Class.thy into parts to conserve a bit of memory and increase the chance of making it work on Cygwin with only 2 GB available; | file | diff | annotate |