| Wed, 18 Apr 2012 17:33:11 +0100 | sultana | more tptp testing support functions; | changeset | files |
| Wed, 18 Apr 2012 18:24:16 +0200 | nipkow | tuned text, improved dependencies | changeset | files |
| Wed, 18 Apr 2012 17:04:03 +0200 | kuncar | Lifting: generate more thms & note them & tuned | changeset | files |
| Wed, 18 Apr 2012 15:48:32 +0200 | huffman | move constant 'Respects' into Lifting.thy; | changeset | files |