src/Pure/ROOT
author paulson <lp15@cam.ac.uk>
Sat, 26 May 2018 08:36:09 +0100
changeset 68284 5e4e006f9552
parent 67215 03d0c958d65a
child 68710 3db37e950118
permissions -rw-r--r--
tidied some proofs

chapter Pure

session Pure =
  description {*
    The Pure logical framework
  *}
  options [threads = 1]
  theories
    Pure (global)
    ML_Bootstrap (global)
    Sessions