| Tue, 24 Apr 2007 15:07:27 +0200 | berghofe | case constants are now authentic. | changeset | files |
| Tue, 24 Apr 2007 14:02:16 +0200 | narboux | oups : wrong commit | changeset | files |
| Tue, 24 Apr 2007 14:01:23 +0200 | narboux | adds op in front of an infix to fix SML compilation | changeset | files |
| Mon, 23 Apr 2007 20:44:12 +0200 | wenzelm | sane version of read_termTs (proper freeze); | changeset | files |
| Mon, 23 Apr 2007 20:44:11 +0200 | wenzelm | read_instantiations: proper type-inference with fixed variables, infer parameter types as well; | changeset | files |
| Mon, 23 Apr 2007 20:44:10 +0200 | wenzelm | added paramify_vars; | changeset | files |