| 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, 24 Feb 2012 11:23:34 +0100 | blanchet | renamed 'try_methods' to 'try0' | file | diff | annotate | base |