changeset 12218 | 6597093b77e7 |
parent 10212 | 33fe2d701ddd |
child 12338 | de0f4a63baa5 |
--- a/src/HOLCF/IOA/NTP/Multiset.thy Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/NTP/Multiset.thy Thu Nov 15 23:25:46 2001 +0100 @@ -1,7 +1,7 @@ (* Title: HOL/IOA/NTP/Multiset.thy ID: $Id$ Author: Tobias Nipkow & Konrad Slind - Copyright 1994 TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) Axiomatic multisets. Should be done as a subtype and moved to a global place.