| Wed, 17 Aug 2011 13:14:20 +0200 | wenzelm | moved theory Nested_Environment to HOL-Unix (a bit too specific for HOL-Library); | changeset | files |
| Wed, 17 Aug 2011 10:03:58 +0200 | blanchet | distinguish THF syntax with and without choice (Satallax vs. LEO-II) | changeset | files |
| Tue, 16 Aug 2011 15:02:20 -0700 | huffman | merged | changeset | files |
| Tue, 16 Aug 2011 09:31:23 -0700 | huffman | add simp rules for isCont | changeset | files |