Sat, 09 Aug 2008 22:43:46 +0200 | wenzelm | unified Args.T with OuterLex.token, renamed some operations; | file | diff | annotate |
Thu, 10 Jul 2008 13:37:34 +0200 | wenzelm | @{lemma}: allow terminal method, close derivation unless (open) mode is given; | file | diff | annotate |
Sat, 28 Jun 2008 22:52:07 +0200 | wenzelm | Isar theorem values within ML. | file | diff | annotate |