Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
Thu, 01 Oct 2009 20:06:11 +0200 | wenzelm | avoid unsynchronized refs within theory sources; | file | diff | annotate |
Mon, 12 May 2003 11:33:55 +0200 | kleing | IsarOverview moved one level up | file | diff | annotate |