| Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
| Fri, 16 Dec 2011 11:02:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 16 Dec 2011 10:52:35 +0100 | wenzelm | clarified modules that contribute to datatype package; | file | diff | annotate | base |