Sun, 04 Sep 2011 10:05:52 -0700 | huffman | remove redundant lemmas expi_add and expi_zero | changeset | files |
Sun, 04 Sep 2011 09:49:45 -0700 | huffman | remove redundant lemmas about LIMSEQ | changeset | files |
Sun, 04 Sep 2011 07:15:13 -0700 | huffman | introduce abbreviation 'int' earlier in Int.thy | changeset | files |
Sun, 04 Sep 2011 06:56:10 -0700 | huffman | remove unused assumptions from natceiling lemmas | changeset | files |
Sun, 04 Sep 2011 06:27:59 -0700 | huffman | move lemmas nat_le_iff and nat_mono into Int.thy | changeset | files |
Sun, 04 Sep 2011 19:36:19 +0200 | wenzelm | eliminated markup for plain identifiers (frequent but insignificant); | changeset | files |
Sun, 04 Sep 2011 19:12:06 +0200 | wenzelm | simplified signatures; | changeset | files |