| Thu, 14 Jul 2005 19:28:28 +0200 | wenzelm | NameSpace.dest_table avoids duplicated extern; | changeset | files |
| Thu, 14 Jul 2005 19:28:26 +0200 | wenzelm | with_path; | changeset | files |
| 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 |
| Thu, 14 Jul 2005 19:28:22 +0200 | wenzelm | replaced Utils.itlist by fold_rev; | changeset | files |
| Thu, 14 Jul 2005 19:28:21 +0200 | wenzelm | proper structure; | changeset | files |