| Thu, 10 Jan 2008 19:10:08 +0100 | berghofe | Added test data generator for function type (from Pure/codegen.ML). | changeset | files |
| Thu, 10 Jan 2008 19:09:21 +0100 | berghofe | New interface for test data generators. | changeset | files |
| Thu, 10 Jan 2008 17:06:41 +0100 | huffman | declare ch2ch_LAM [simp] | changeset | files |
| Thu, 10 Jan 2008 08:21:03 +0100 | haftmann | added overloading target | changeset | files |
| Thu, 10 Jan 2008 05:43:20 +0100 | huffman | new compactness lemmas; removed duplicated flat_less_iff | changeset | files |
| Thu, 10 Jan 2008 05:37:18 +0100 | huffman | Compactness subsection with new lemmas | changeset | files |
| Thu, 10 Jan 2008 05:36:03 +0100 | huffman | Compactness subsection with some new lemmas | changeset | files |