src/HOL/Import/HOL/README
changeset 14516 a183dec876ab
child 14620 1be590fd2422
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Import/HOL/README	Fri Apr 02 17:37:45 2004 +0200
     1.3 @@ -0,0 +1,3 @@
     1.4 +All the files in this directory (except this README, HOL4.thy, and
     1.5 +ROOT.ML) are automatically generated.  Edit the files in
     1.6 +../Generate-HOL, if something needs to be changed.