| Tue, 02 Feb 2010 11:47:49 +0100 | wenzelm | moved examples to proper place; | file | diff | annotate |
| Mon, 01 Feb 2010 22:46:12 +0100 | wenzelm | more details on long names, binding/naming, name space; | file | diff | annotate |
| Sun, 31 Jan 2010 22:08:25 +0100 | wenzelm | Variable.names_of; | file | diff | annotate |
| Sun, 31 Jan 2010 21:40:44 +0100 | wenzelm | more details on Isabelle symbols; | file | diff | annotate |
| Fri, 29 Jan 2010 23:59:03 +0100 | wenzelm | theory data example; | file | diff | annotate |
| Thu, 28 Jan 2010 22:38:11 +0100 | wenzelm | formal markup of type aliases; | file | diff | annotate |
| Sun, 08 Nov 2009 21:00:05 +0100 | wenzelm | updated functor Theory_Data, Proof_Data, Generic_Data; | file | diff | annotate |