| Mon, 20 Sep 2010 16:05:25 +0200 | wenzelm | renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only; | file | diff | annotate |
| Sun, 21 Feb 2010 21:10:01 +0100 | wenzelm | adapted to authentic syntax; | file | diff | annotate |
| Thu, 11 Feb 2010 22:19:58 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Mon, 08 Feb 2010 21:28:27 +0100 | wenzelm | modernized some syntax translations; | file | diff | annotate |
| Sun, 18 May 2008 17:03:16 +0200 | wenzelm | setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default; | file | diff | annotate |
| Sun, 30 Sep 2007 21:55:15 +0200 | wenzelm | avoid internal names; | file | diff | annotate |
| Thu, 26 Apr 2007 14:24:12 +0200 | wenzelm | added header; | file | diff | annotate |