| Tue, 06 Feb 2007 15:12:18 +0100 | urbanc | fixed two stupid bugs of SML to do with the value restriction and missing type | changeset | files |
| Tue, 06 Feb 2007 12:54:55 +0100 | aspinall | askids/qualified_thms_of_thy: version which returns names in domain of get_thm | changeset | files |
| Tue, 06 Feb 2007 11:40:53 +0100 | haftmann | added eta expansion to imperative monad bind | changeset | files |