Mon, 03 Sep 2012 15:41:06 +0200 | nipkow | added annotations after condition in if and while | changeset | files |
Mon, 03 Sep 2012 13:19:52 +0200 | wenzelm | merge, resolving trivial conflict; | changeset | files |
Thu, 30 Aug 2012 15:44:03 +0900 | Christian Sternagel | forgot to add lemmas | changeset | files |
Thu, 30 Aug 2012 13:44:15 +0900 | Christian Sternagel | hide newly introduced constant Sublist.sub to allow for name sub in TreeFsetI | changeset | files |
Thu, 30 Aug 2012 13:39:43 +0900 | Christian Sternagel | reverted (accidentally commited) changes from changeset fd4aef9bc7a9 | changeset | files |
Thu, 30 Aug 2012 13:39:30 +0900 | Christian Sternagel | reverted (accidentally commited) changes from changeset fd4aef9bc7a9 | changeset | files |