Mon, 30 Jun 2008 21:47:56 +0200 | huffman | remove unused Cset.thy | changeset | files |
Mon, 30 Jun 2008 14:06:44 +0200 | urbanc | added facts to lemma swap_simps and tuned lemma calc_atms | changeset | files |
Mon, 30 Jun 2008 13:41:33 +0200 | haftmann | simplified retrieval of theory names of consts and types | changeset | files |