| Thu, 22 Sep 2011 12:55:19 -0700 | huffman | discontinued HOLCF legacy theorem names | changeset | files |
| Thu, 22 Sep 2011 19:42:06 +0200 | blanchet | take out remote E-SInE -- it's broken and Geoff says it might take quite a while before he gets to it, plus it's fairly obsolete in the meantime | changeset | files |
| Thu, 22 Sep 2011 18:23:38 +0200 | berghofe | Moved extraction part of Higman's lemma to separate theory to allow reuse in | changeset | files |
| Thu, 22 Sep 2011 17:15:46 +0200 | berghofe | Removed hcentering and vcentering options, since they are not supported | changeset | files |
| Thu, 22 Sep 2011 16:56:19 +0200 | berghofe | merged | changeset | files |
| Thu, 22 Sep 2011 16:50:23 +0200 | berghofe | Added documentation for HOL-SPARK | changeset | files |