Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | file | diff | annotate |
Wed, 26 Jul 2006 19:37:41 +0200 | wenzelm | Variable.import(T): result includes fixed types/terms; | file | diff | annotate |
Sat, 17 Jun 2006 19:37:46 +0200 | wenzelm | ProofContext.export: singleton; | file | diff | annotate |
Thu, 15 Jun 2006 23:08:54 +0200 | wenzelm | ProofContext: moved variable operations to struct Variable; | file | diff | annotate |
Tue, 13 Jun 2006 23:41:34 +0200 | wenzelm | ProjectRule now context dependent; | file | diff | annotate |
Thu, 22 Dec 2005 00:29:17 +0100 | wenzelm | Transform mutual rule into projection. | file | diff | annotate |