changeset 12218 | 6597093b77e7 |
parent 10835 | f4745d77e620 |
child 12525 | 4ad978c8f550 |
--- a/src/HOLCF/IOA/meta_theory/Simulations.ML Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/meta_theory/Simulations.ML Thu Nov 15 23:25:46 2001 +0100 @@ -1,9 +1,9 @@ (* Title: HOLCF/IOA/meta_theory/Simulations.ML ID: $Id$ - Author: Olaf Mueller - Copyright 1997 TU Muenchen + Author: Olaf Müller + License: GPL (GNU GENERAL PUBLIC LICENSE) -Simulations in HOLCF/IOA +Simulations in HOLCF/IOA. *)