Sun, 17 Apr 2011 20:15:46 +0200 | wenzelm | eliminated obsolete markup -- superseded by generic "entity" markup; | file | diff | annotate |
Sun, 17 Apr 2011 19:54:04 +0200 | wenzelm | report Name_Space.declare/define, relatively to context; | file | diff | annotate |
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 |