| Thu, 16 Feb 2012 09:51:34 +0100 | bulwahn | simplifying proof | file | diff | annotate |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Mon, 12 Jul 2010 08:58:13 +0200 | haftmann | dropped superfluous [code del]s | file | diff | annotate |
| Wed, 24 Feb 2010 10:36:17 -0800 | huffman | polished and converted some proofs to Isar style | file | diff | annotate |
| Tue, 23 Feb 2010 17:33:03 +0100 | hoelzl | Moved old Integration to examples. | file | diff | annotate | base |