# HG changeset patch # User wenzelm # Date 1533298113 -7200 # Node ID fb44580680c431699bb38f1c975c8bac6fb3cc7a # Parent fc51dcb4e6fd8b0a8b7123d91e6a5cf679b620c8 Pure theory content; diff -r fc51dcb4e6fd -r fb44580680c4 src/Pure/build-jars --- a/src/Pure/build-jars Thu Aug 02 22:24:16 2018 +0200 +++ b/src/Pure/build-jars Fri Aug 03 14:08:33 2018 +0200 @@ -159,6 +159,7 @@ Tools/update_then.scala Tools/update_theorems.scala library.scala + pure_thy.scala term.scala term_xml.scala ../Tools/Graphview/graph_file.scala diff -r fc51dcb4e6fd -r fb44580680c4 src/Pure/pure_thy.scala --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/pure_thy.scala Fri Aug 03 14:08:33 2018 +0200 @@ -0,0 +1,19 @@ +/* Title: Pure/pure_thy.scala + Author: Makarius + +Pure theory content. +*/ + +package isabelle + + +object Pure_Thy +{ + val FUN: String = "fun" + val PROP: String = "prop" + val ITSELF: String = "itself" + + val ALL: String = "Pure.all" + val IMP: String = "Pure.imp" + val EQ: String = "Pure.eq" +}