Constant Field Values

Contents

• net.sourceforge.*

net.sourceforge.*

net.sourceforge.czt.zeves.util.ZEvesString

Modifier and Type	Constant Field	Value
public static final String	ABOUT	"about"
public static final String	APPLY	"apply"
public static final String	BACK	"back"
public static final String	BAG	"bag"
public static final String	BY	"by"
public static final String	CASES	"cases"
public static final String	CHECK	"check"
public static final String	CONJUNCTIVE	"conjunctive"
public static final String	DECLARATION	"declaration"
public static final String	DECLARATION_PART	"declarationPart"
public static final String	DECLARE	"declare"
public static final String	DISABLED	"disabled"
public static final String	DISJUNCTIVE	"disjunctive"
public static final String	DOMAIN_CHECK	"domainCheck"
public static final String	ENABLED	"enabled"
public static final String	EQUALITY	"equality"
public static final String	EXPRESSION	"expression"
public static final String	FORMULA	"formula"
public static final String	FREETYPE_EXPANSION	"expansion"
public static final String	FREETYPE_INDUCTION	"induction"
public static final String	FREETYPE_INJECTIVE	"injective"
public static final String	FREETYPE_MEMBER	"member"
public static final String	HELP	"help"
public static final String	HISTORY	"history"
public static final String	INSTANTIATE	"instantiate"
public static final String	INVOKE	"invoke"
public static final String	LEMMA	"lemma"
public static final String	NEXT	"next"
public static final String	NORMALIZATION	"normalization"
public static final String	OOPS	"oops"
public static final String	PARENT	"parent"
public static final String	PREDICATE	"predicate"
public static final String	PRENEX	"prenex"
public static final String	PRINT	"print"
public static final String	PROOF	"proof"
public static final String	PROVE	"prove"
public static final String	QNTINSTANTIATION	"=="
public static final String	QUIT	"quit"
public static final String	READ	"read"
public static final String	REARRANGE	"rearrange"
public static final String	REDUCE	"reduce"
public static final String	RESET	"reset"
public static final String	RETRY	"retry"
public static final String	REWRITE	"rewrite"
public static final String	SCHEMA_BIND_SELECT	"select"
public static final String	SCHEMA_INSET	"inSet"
public static final String	SCHEMA_MEMBER	"member"
public static final String	SCHEMA_SET_IN_POWERSET	"setInPowerSet"
public static final String	SCRIPT	"script"
public static final String	SIMPLIFY	"simplify"
public static final String	SORRY	"sorry"
public static final String	SPLIT	"split"
public static final String	STATUS	"status"
public static final String	SUBSTITUTE	"substitute"
public static final String	SUMMARY	"summary"
public static final String	THEOREMS	"theorems"
public static final String	THETA_INSET	"thetaInSet"
public static final String	THETA_MEMBER	"thetaMember"
public static final String	THETAS_EQUAL	"thetasEqual"
public static final String	THMAXIOM	"axiom"
public static final String	THMFRULE	"frule"
public static final String	THMGRULE	"grule"
public static final String	THMREPLACEMENT	":="
public static final String	THMRULE	"rule"
public static final String	THROUGH	"through"
public static final String	TO	"to"
public static final String	TRIVIAL	"trivial"
public static final String	TRY	"try"
public static final String	UNDO	"undo"
public static final String	USE	"use"
public static final String	WITH	"with"
public static final String	ZEVESYNTAX	"syntax"
public static final String	ZPROOFCOMMANDSEP	"; "
public static final String	ZSECTION	"zsection"
public static final String	ZTAGS	"ztags"