Pure theory content;
authorwenzelm
Fri Aug 03 14:08:33 2018 +0200 (11 months ago)
changeset 68713fb44580680c4
parent 68712 fc51dcb4e6fd
child 68714 1d5ab386eaf0
Pure theory content;
src/Pure/build-jars
src/Pure/pure_thy.scala
     1.1 --- a/src/Pure/build-jars	Thu Aug 02 22:24:16 2018 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Aug 03 14:08:33 2018 +0200
     1.3 @@ -159,6 +159,7 @@
     1.4    Tools/update_then.scala
     1.5    Tools/update_theorems.scala
     1.6    library.scala
     1.7 +  pure_thy.scala
     1.8    term.scala
     1.9    term_xml.scala
    1.10    ../Tools/Graphview/graph_file.scala
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/Pure/pure_thy.scala	Fri Aug 03 14:08:33 2018 +0200
     2.3 @@ -0,0 +1,19 @@
     2.4 +/*  Title:      Pure/pure_thy.scala
     2.5 +    Author:     Makarius
     2.6 +
     2.7 +Pure theory content.
     2.8 +*/
     2.9 +
    2.10 +package isabelle
    2.11 +
    2.12 +
    2.13 +object Pure_Thy
    2.14 +{
    2.15 +  val FUN: String = "fun"
    2.16 +  val PROP: String = "prop"
    2.17 +  val ITSELF: String = "itself"
    2.18 +
    2.19 +  val ALL: String = "Pure.all"
    2.20 +  val IMP: String = "Pure.imp"
    2.21 +  val EQ: String = "Pure.eq"
    2.22 +}