| Fri, 24 Oct 1997 11:56:12 +0200 | nipkow | Modified comment. | changeset | files |
| Fri, 24 Oct 1997 11:24:21 +0200 | nipkow | Deleted very odd Delsimps[Collect_False_empty] which made proofs fail! | changeset | files |
| Fri, 24 Oct 1997 11:05:21 +0200 | nipkow | HOL/Map | changeset | files |
| Fri, 24 Oct 1997 10:31:31 +0200 | nipkow | Added the new theory Map. | changeset | files |
| Thu, 23 Oct 1997 12:49:16 +0200 | wenzelm | added record section; | changeset | files |
| Thu, 23 Oct 1997 12:48:48 +0200 | wenzelm | Sign.name_of; | changeset | files |
| Thu, 23 Oct 1997 12:47:59 +0200 | wenzelm | Sign.stamp_names_of; | changeset | files |