| Thu, 14 Jul 2005 19:28:25 +0200 | wenzelm | removed mk_prodT, mk_not (cf. HOL/hologic.ML); | changeset | files |
| Thu, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Jul 2005 19:28:23 +0200 | wenzelm | use all files in HOLCF.thy; | changeset | files |