| changeset 1461 | 6bcb44e4d6e5 |
| parent 1075 | 848bf2e18dff |
| child 2034 | 5079fdf938dd |
--- a/src/ZF/Coind/Map.ML Mon Jan 29 14:16:13 1996 +0100 +++ b/src/ZF/Coind/Map.ML Tue Jan 30 13:42:57 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: ZF/Coind/Map.ML +(* Title: ZF/Coind/Map.ML ID: $Id$ - Author: Jacob Frost, Cambridge University Computer Laboratory + Author: Jacob Frost, Cambridge University Computer Laboratory Copyright 1995 University of Cambridge *)