| 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 |