| Mon, 09 Jun 2008 17:07:10 +0200 | wenzelm | qualified DatatypePackage.distinct_simproc; | changeset | files |
| Mon, 09 Jun 2008 17:07:08 +0200 | wenzelm | adapted case_tac/induct_tac; | changeset | files |
| Sun, 08 Jun 2008 14:31:06 +0200 | wenzelm | updated generated file; | changeset | files |
| Sun, 08 Jun 2008 14:30:46 +0200 | wenzelm | minor typos; | changeset | files |
| Sun, 08 Jun 2008 14:30:07 +0200 | wenzelm | simp: depth_limit is now a configuration option; | changeset | files |
| Sun, 08 Jun 2008 14:29:36 +0200 | wenzelm | removed old AxClass; | changeset | files |
| Sun, 08 Jun 2008 14:29:09 +0200 | wenzelm | remove codegen_process.pdf from distribution; | changeset | files |
| Sat, 07 Jun 2008 19:18:38 +0200 | haftmann | fixed wrong treatment of type variables in instantiation target | changeset | files |