Tue, 28 Oct 1997 17:58:35 +0100 | wenzelm | PureThy.add_store_axioms_i; | file | diff | annotate |
Thu, 02 Oct 1997 22:54:00 +0200 | wenzelm | fully qualified names: Theory.add_XXX; | file | diff | annotate |
Wed, 06 Aug 1997 11:57:20 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |