| Fri, 22 Apr 2005 00:31:30 +0200 | kleing | test stable and devel version of smlnj | changeset | files |
| Thu, 21 Apr 2005 22:10:12 +0200 | wenzelm | adapt theories and ML files to new CPure/Pure arrangement; | changeset | files |
| Thu, 21 Apr 2005 22:06:18 +0200 | wenzelm | The CPure theory -- Pure with alternative application syntax. | changeset | files |
| Thu, 21 Apr 2005 22:06:00 +0200 | wenzelm | The Pure theory. | changeset | files |
| 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 |