Fri, 23 May 2008 21:20:26 +0200 | wenzelm | add constants: set Markup.theory_nameN in tags; | changeset | files |
Fri, 23 May 2008 21:18:47 +0200 | wenzelm | added theory_nameN; | changeset | files |
Fri, 23 May 2008 17:19:24 +0200 | krauss | rearranged subsections | changeset | files |