| Tue, 24 Jan 2006 00:44:39 +0100 | wenzelm | fixed code_generate syntax; | changeset | files |
| Tue, 24 Jan 2006 00:43:34 +0100 | wenzelm | renamed axiomatize(_i) to axiomatization(_i); | changeset | files |
| Tue, 24 Jan 2006 00:43:33 +0100 | wenzelm | renamed inferred_type to inferred_param; | changeset | files |
| Tue, 24 Jan 2006 00:43:32 +0100 | wenzelm | ProofContext.inferred_param; | changeset | files |
| Tue, 24 Jan 2006 00:43:31 +0100 | wenzelm | removed the_params; | changeset | files |
| Tue, 24 Jan 2006 00:43:29 +0100 | wenzelm | added actual operations; | changeset | files |