src/HOL/Import/HOL/README
author skalberg
Fri Apr 02 17:37:45 2004 +0200 (2004-04-02)
changeset 14516 a183dec876ab
child 14620 1be590fd2422
permissions -rw-r--r--
Added HOL proof importer.
     1 All the files in this directory (except this README, HOL4.thy, and
     2 ROOT.ML) are automatically generated.  Edit the files in
     3 ../Generate-HOL, if something needs to be changed.