# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1995
# Updated:
-# Copyright: (c) 1995, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright:(c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart, Robert Roebling, Vadim Zeitlin
# Created: 1993
# Updated: 1999
-# Copyright:(c) 1993, AIAI, University of Edinburgh,
# Copyright:(c) 1999, Vadim Zeitlin
# Copyright:(c) 1999, Robert Roebling
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Andre Beltman
# Created: 1995
# Updated:
-# Copyright: (c) 1995, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#
# Author: Julian Smart
# Created: 1993
# Updated:
-# Copyright: (c) 1993, AIAI, University of Edinburgh
+# Copyright:
#
# "%W% %G%"
#