| Wed, 02 Feb 2011 22:48:24 +0100 | wenzelm | tuned odd conditional expression; | file | diff | annotate |
| 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 | base |