| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Wed, 11 Mar 2009 20:11:06 +0100 | wenzelm | basic setup for "main" as generated Isabelle manual; | file | diff | annotate |
| Wed, 11 Mar 2009 12:51:00 +0100 | nipkow | Added "What's in Main" to doc sources | file | diff | annotate |