| Thu, 18 Aug 2011 17:00:15 +0200 | bulwahn | adding documentation about simps equation in the inductive package | file | diff | annotate |
| Mon, 08 Aug 2011 13:48:38 +0200 | wenzelm | updated imports; | file | diff | annotate |
| Thu, 28 Jul 2011 05:52:28 -0200 | noschinl | document coercions | file | diff | annotate |
| Wed, 27 Jul 2011 20:28:00 +0200 | bulwahn | rudimentary documentation of the quotient package in the isar reference manual | file | diff | annotate |
| Wed, 20 Jul 2011 08:16:39 +0200 | bulwahn | updating documentation about quickcheck; adding information about try | file | diff | annotate |
| Mon, 27 Jun 2011 14:56:37 +0200 | blanchet | document "meson" and "metis" in HOL specific section of the Isar ref manual | file | diff | annotate |