| 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 |