| Thu, 21 Apr 2005 22:04:01 +0200 | wenzelm | removed; | changeset | files |
| Thu, 21 Apr 2005 22:02:06 +0200 | wenzelm | superceded by Pure.thy and CPure.thy; | changeset | files |
| Thu, 21 Apr 2005 22:00:28 +0200 | wenzelm | adapt theories and ML files to new CPure/Pure arrangement; | changeset | files |