| Wed, 07 Aug 2013 15:35:33 +0200 | wenzelm | more NEWS and CONTRIBUTORS; | file | diff | annotate |
| Tue, 20 Nov 2012 14:29:46 +0100 | wenzelm | some documentation for "algebra" in HOL; | file | diff | annotate |
| Sat, 17 Nov 2012 20:10:28 +0100 | wenzelm | tuned structure of Isabelle/HOL; | file | diff | annotate |