# HG changeset patch # User clasohm # Date 813247075 -3600 # Node ID 42ccfd3e1fb428486a214ec99aa0bff96610fa49 # Parent 5d68da443a9f70a8dbc079984ce29f7022aef408 corrected title diff -r 5d68da443a9f -r 42ccfd3e1fb4 src/HOL/WF.thy --- a/src/HOL/WF.thy Mon Oct 09 14:57:31 1995 +0100 +++ b/src/HOL/WF.thy Mon Oct 09 14:57:55 1995 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/wf.ML +(* Title: HOL/WF.thy ID: $Id$ Author: Tobias Nipkow Copyright 1992 University of Cambridge