| Fri, 21 May 2004 21:20:14 +0200 | wenzelm | Sign.certify_tyname; | changeset | files |
| Fri, 21 May 2004 21:19:47 +0200 | wenzelm | TypeInfer.paramify_dummies, TypeInfer.param; | changeset | files |
| Fri, 21 May 2004 21:19:18 +0200 | wenzelm | Args.local_typ_raw; | changeset | files |
| Fri, 21 May 2004 21:19:04 +0200 | wenzelm | output_tym: removed duplicate clauses; | changeset | files |
| Fri, 21 May 2004 21:18:48 +0200 | wenzelm | Graph.minimals; | changeset | files |
| Fri, 21 May 2004 21:18:35 +0200 | wenzelm | adapted syntax to cope with lack of non-logical types; | changeset | files |
| Fri, 21 May 2004 21:18:14 +0200 | wenzelm | Type.typ_instance; | changeset | files |
| Fri, 21 May 2004 21:17:37 +0200 | wenzelm | load ML files only once; | changeset | files |
| Fri, 21 May 2004 21:16:51 +0200 | wenzelm | removed duplicate thms; | changeset | files |
| Fri, 21 May 2004 21:15:45 +0200 | wenzelm | Sign.typ_instance; | changeset | files |
| Fri, 21 May 2004 21:15:22 +0200 | wenzelm | tuned message; | changeset | files |
| Fri, 21 May 2004 21:15:10 +0200 | wenzelm | tuned document; | changeset | files |
| Fri, 21 May 2004 21:14:52 +0200 | wenzelm | use plain SOME; | changeset | files |
| Fri, 21 May 2004 21:14:18 +0200 | wenzelm | proper use of 'syntax'; | changeset | files |