Tue, 21 Oct 2008 15:01:18 +0200 | wenzelm | added Future.enabled check; | changeset | files |
Tue, 21 Oct 2008 15:01:16 +0200 | wenzelm | ThyOutput: export some auxiliary operations; | changeset | files |
Mon, 20 Oct 2008 23:53:17 +0200 | nipkow | fixed proof | changeset | files |
Mon, 20 Oct 2008 23:52:59 +0200 | nipkow | added lemmas | changeset | files |
Sun, 19 Oct 2008 21:20:55 +0200 | berghofe | Names of variables in perm_eqs are now chosen more carefully to avoid | changeset | files |
Sun, 19 Oct 2008 21:19:27 +0200 | berghofe | - removed test_params from CodegenData (now in Pure/Tools/quickcheck.ML) | changeset | files |