changeset 1475 | 7f5a4cd08209 |
parent 923 | ff1574a81019 |
child 2912 | 3fac3e8d5d3e |
--- a/src/HOL/Fun.thy Mon Feb 05 14:44:09 1996 +0100 +++ b/src/HOL/Fun.thy Mon Feb 05 21:27:16 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/Fun.thy +(* Title: HOL/Fun.thy ID: $Id$ - Author: Tobias Nipkow, Cambridge University Computer Laboratory + Author: Tobias Nipkow, Cambridge University Computer Laboratory Copyright 1994 University of Cambridge Lemmas about functions.