|
/* Title: Pure/pure_thy.scala
Author: Makarius
Pure theory content.
*/
package isabelle
object Pure_Thy
{
/* Pure logic */
val DUMMY: String = "dummy"
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"
val TYPE: String = "Pure.type"
/* abstract syntax for proof terms */
val PROOF: String = "Pure.proof"
val APPT: String = "Pure.Appt"
val APPP: String = "Pure.AppP"
val ABST: String = "Pure.Abst"
val ABSP: String = "Pure.AbsP"
val HYP: String = "Pure.Hyp"
val ORACLE: String = "Pure.Oracle"
val OFCLASS: String = "Pure.PClass"
val MINPROOF: String = "Pure.MinProof"
}
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
