changeset 1477 | 4c51ab632cda |
parent 1149 | 5750eba8820d |
child 17480 | fd19f77dcf60 |
--- a/src/FOLP/ex/Nat.thy Mon Feb 05 21:29:06 1996 +0100 +++ b/src/FOLP/ex/Nat.thy Mon Feb 05 21:33:14 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: FOLP/ex/nat.thy +(* Title: FOLP/ex/nat.thy ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge Examples for the manual "Introduction to Isabelle"