Wed, 16 Jun 2004 20:37:29 +0200 | wenzelm | tuned document; | file | diff | annotate |
Tue, 13 Apr 2004 09:42:40 +0200 | ballarin | Various changes to HOL-Algebra; | file | diff | annotate |
Fri, 02 Apr 2004 14:08:30 +0200 | ballarin | Experimental command for instantiation of locales in proof contexts: | file | diff | annotate |