| Sun, 17 Apr 2011 21:42:47 +0200 | wenzelm | added Binding.print convenience, which includes quote already; | file | diff | annotate |
| Sun, 17 Apr 2011 21:04:22 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 17 Apr 2011 20:58:43 +0200 | wenzelm | markup facts via name space; | file | diff | annotate |
| 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 |