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:38:01 +0200 | wenzelm | ProofContext.exports: simultaneous facts; | file | diff | annotate |
Thu, 15 Jun 2006 23:08:54 +0200 | wenzelm | ProofContext: moved variable operations to struct Variable; | file | diff | annotate |
Mon, 12 Jun 2006 22:14:38 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 12 Jun 2006 09:14:41 +0200 | haftmann | fixed smlnj incompat. | file | diff | annotate |
Sun, 11 Jun 2006 21:59:30 +0200 | wenzelm | actually invoke result elements; | file | diff | annotate |
Wed, 07 Jun 2006 02:01:36 +0200 | wenzelm | Schematic invocation of locale expression in proof context. | file | diff | annotate |