Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-01 09:46:03 -0800 (Fri, 01 Jan 1999)
Revision: 2546
Log message:
Fixed opname specification error in Itt_fset.
| Changes | Path |
| +1 -1 | metaprl/editor/ml/y.ml |
| Deleted | metaprl/lib/mbs-mpl.txt |
| +3 -1 | metaprl/library/Makefile |
| Added | metaprl/library/mbs-mpl.txt |
| Properties | metaprl/library/mbs-mpl.txt |
| +1 -1 | metaprl/theories/itt/itt_fset.ml |