changeset 1139 | 993e475e70e2 |
parent 1050 | 0c36c6a52a1d |
child 1266 | 3ae9fe3c0f68 |
--- a/src/HOL/IOA/ABP/Lemmas.ML Wed May 31 10:45:00 1995 +0200 +++ b/src/HOL/IOA/ABP/Lemmas.ML Wed May 31 10:46:46 1995 +0200 @@ -1,7 +1,7 @@ -(* Title: HOL/IOA/ABP/Lemmas.ML +(* Title: HOL/IOA/example/Lemmas.ML ID: $Id$ - Author: Tobias Nipkow & Olaf Mueller - Copyright 1995 TU Muenchen + Author: Tobias Nipkow & Konrad Slind + Copyright 1994 TU Muenchen *)