author | clasohm |
Tue, 30 Jan 1996 15:24:36 +0100 | |
changeset 1465 | 5d7a7e439cec |
parent 924 | 806721cfbf46 |
permissions | -rw-r--r-- |
924
806721cfbf46
new version of HOL/IMP with curried function application
clasohm
parents:
diff
changeset
|
1 |
Properties = "Com" |