| Sun, 18 May 2008 15:04:24 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | changeset | files |
| Sun, 18 May 2008 15:04:22 +0200 | wenzelm | renamed type decompT to decomp; | changeset | files |
| Sun, 18 May 2008 15:04:20 +0200 | wenzelm | pr_matrix: proper context; | changeset | files |
| Sun, 18 May 2008 15:04:17 +0200 | wenzelm | guess_instance: proper context; | changeset | files |
| Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | changeset | files |
| Sat, 17 May 2008 23:53:20 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 17 May 2008 23:53:19 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 17 May 2008 23:37:11 +0200 | wenzelm | avoid undeclared variables in facts; | changeset | files |