|
/branches/
|
|
|
 |
|
/tags/
|
|
|
|
|
/trunk/
|
|
|
|
|
/trunk/src/
|
|
|
|
|
/trunk/src/.classpath
|
|
|
|
|
/trunk/src/.project
|
|
|
|
|
/trunk/src/.settings/
|
|
|
|
|
/trunk/src/.settings/org.eclipse.jdt.core.prefs
|
|
|
|
|
/trunk/src/fmrisc/
|
|
|
|
|
/trunk/src/fmrisc/External/
|
|
|
|
|
/trunk/src/fmrisc/External/antlr.jar
|
|
|
|
|
/trunk/src/fmrisc/External/GeneralHashFunctionLibrary.class
|
|
|
|
|
/trunk/src/fmrisc/External/GeneralHashFunctionLibrary.java
|
|
|
|
|
/trunk/src/fmrisc/External/icons.jar
|
|
|
|
|
/trunk/src/fmrisc/External/NewOMDOMReader.class
|
|
|
|
|
/trunk/src/fmrisc/External/NewOMDOMReader.java
|
|
|
|
|
/trunk/src/fmrisc/External/NewOMDOMWriter.class
|
|
|
|
|
/trunk/src/fmrisc/External/NewOMDOMWriter.java
|
|
|
|
|
/trunk/src/fmrisc/External/om-lib.jar
|
|
|
|
|
/trunk/src/fmrisc/External/RCS/
|
|
|
|
|
/trunk/src/fmrisc/External/RCS/GeneralHashFunctionLibrary.java,v
|
|
|
|
|
/trunk/src/fmrisc/External/RCS/NewOMDOMReader.java,v
|
|
|
|
|
/trunk/src/fmrisc/External/RCS/NewOMDOMWriter.java,v
|
|
|
|
|
/trunk/src/fmrisc/External/swt.jar
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Assume.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Assume.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Auto.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Auto.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/AutoStar.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/AutoStar.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Case.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Case.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Command.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Command.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/CommandBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/CommandBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ContextC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ContextC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/CounterExample.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/CounterExample.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/DeclarationC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/DeclarationC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Decompose.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Decompose.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Empty.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Empty.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/EnvironmentC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/EnvironmentC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Expand.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Expand.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Flatten.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Flatten.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Flip.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Flip.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/FormulaC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/FormulaC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Goal.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Goal.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Goto.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Goto.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Induction.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Induction.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Instantiate.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Instantiate.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Lemma.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Lemma.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Next.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Next.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Open.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Open.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Option.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Option.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Prev.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Prev.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofCommand.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofCommand.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofCommandBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ProofCommandBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Prove.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Prove.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Proved.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Proved.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Quit.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Quit.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Assume.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Auto.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/AutoStar.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Case.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Command.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/CommandBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/ContextC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/CounterExample.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/DeclarationC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Decompose.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Empty.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/EnvironmentC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Expand.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Flatten.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Flip.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/FormulaC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Goal.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Goto.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Induction.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Instantiate.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Lemma.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Next.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Open.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Option.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Prev.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/ProofC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/ProofCommand.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/ProofCommandBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Prove.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Proved.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Quit.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Read.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Redo.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Scatter.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Simplify.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Skolem.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Skolemize.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Split.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/StateC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/TCC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/TypeAxiom.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/TypeC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/Undo.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/RCS/ValueC.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Read.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Read.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Redo.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Redo.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Scatter.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Scatter.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Simplify.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Simplify.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Skolemize.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Skolemize.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Split.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Split.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/StateC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/StateC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TCC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TCC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TypeAxiom.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TypeAxiom.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TypeC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/TypeC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Undo.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/Undo.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ValueC.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Commands/ValueC.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/BreakInfo.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/BreakInfo.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/CommandServer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/CommandServer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/MathML.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/MathML.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/OMDoc.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/OMDoc.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/OpenMath.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/OpenMath.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/Presenter$StateColor.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/Presenter.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/Presenter.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/PrettyMathML$Parent.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/PrettyMathML.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/PrettyMathML.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/PrettyPrinter.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/PrettyPrinter.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/BreakInfo.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/CommandServer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/MathML.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/OMDoc.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/OpenMath.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/Presenter.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/PrettyMathML.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/PrettyPrinter.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/RCS/Store.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/Store.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Communication/Store.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Main.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Main.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNLexer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNLexer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNLexer.smap
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParser.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParser.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParser.smap
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParserTokenTypes.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParserTokenTypes.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/PNParserTokenTypes.txt
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/ProofNavigator.g
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Answer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Answer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/AnswerBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/AnswerBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCL$WatchDog.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCL.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCL.g
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCL.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLFormulaMask.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLFormulaMask.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLLexer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLLexer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLLexer.smap
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParser.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParser.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParser.smap
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParserTokenTypes.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParserTokenTypes.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLParserTokenTypes.txt
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLPrinter.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/CVCLPrinter.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/InvalidAnswerCVCL.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/InvalidAnswerCVCL.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCL.g,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCL.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCLFormulaMask.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCLLexer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCLParser.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCLParserTokenTypes.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/CVCLPrinter.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/CVCL/RCS/InvalidAnswerCVCL.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Formula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Formula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/GroundExpressions.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/GroundExpressions.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Instantiating.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Instantiating.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/InvalidAnswer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/InvalidAnswer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Proof.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Proof.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofState.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofState.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofStateListener.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofStateListener.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofUtil.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProofUtil.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Prover.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Prover.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProverReasoning.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ProverReasoning.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Answer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/AnswerBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Formula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/FormulaMask.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/FreeVariables.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/GroundExpressions.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Instantiating.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/InvalidAnswer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/LogicUtil.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Proof.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/ProofState.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/ProofStateListener.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/ProofUtil.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Prover.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/ProverReasoning.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Rewriting.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/Substitute.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/UnknownAnswer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/RCS/ValidAnswer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Rewriting$ExpressionPair.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Rewriting.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Rewriting.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Substitute.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/Substitute.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/UnknownAnswer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/UnknownAnswer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ValidAnswer.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Proving/ValidAnswer.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/CommandThread.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/Main.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/PNLexer.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/PNParser.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/PNParserTokenTypes.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/ProofNavigator.g,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/State.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/TODO,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/RCS/Util.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/BoundVariables.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/BoundVariables.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Checking.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Checking.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Context.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Context.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Environment.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Environment.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FormulaSymbol.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FormulaSymbol.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FormulaTable.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FormulaTable.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FreeVariables.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/FreeVariables.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/BoundVariables.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/Checking.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/Context.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/Environment.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/FormulaSymbol.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/FormulaTable.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/FormulaTableEntry.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/FreeVariables.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/Symbol.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/SymbolBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/SymbolTable.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/SymbolTableEntry.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/SymbolTableEntryBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/TypeChecking.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/TypeExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/TypeSymbol.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/TypeTable.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/TypeTableEntry.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/ValueSymbol.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/ValueTable.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/RCS/ValueTableEntry.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Symbol.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/Symbol.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/SymbolBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/SymbolBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/SymbolTable.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/SymbolTable.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeSymbol.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeSymbol.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeTable.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/TypeTable.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/ValueSymbol.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/ValueSymbol.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/ValueTable.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Semantics/ValueTable.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/State.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/State.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/MainSWT$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/MainSWT$2.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/MainSWT.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/MainSWT.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$1$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$2.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$3.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$4.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree$5.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTree.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem$2.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem$3.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem$Reset.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem$SetColor.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/ProofTreeItem.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/Main.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/MainSWT.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/ProofTree.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/ProofTreeItem.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/TextInputStream.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/TextOutputStream.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/RCS/Top.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/TextInputStream.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/TextInputStream.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/TextOutputStream$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/TextOutputStream.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/TextOutputStream.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$1.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$2.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$3.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$4.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$5.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$6.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$7.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$8.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$9.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$10.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$11.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$12.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$13.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$14.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$15.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$16.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$17.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$18.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$19.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$20.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$21.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$22.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$23.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$24.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$25.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$26.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$27.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$28.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$29.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$30.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$31.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$32.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$33.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$34.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$35.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$36.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$37.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$38.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$39.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$40.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$41.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$42.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$43.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$44.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$45.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$46.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$47.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$48.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$49.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$50.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$51.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$52.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$53.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$54.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$55.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$56.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$57.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$58.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$59.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$60.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$61.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top$62.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/SWT/Top.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AndFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AndFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ApplicationExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ApplicationExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ArrayTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ArrayTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ArrayType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ArrayType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AST.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AST.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTUtil.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTUtil.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTVisitor.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTVisitor.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTVisitorBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ASTVisitorBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AtomicType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AtomicType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AxiomDeclaration.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/AxiomDeclaration.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/BinaryExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/BinaryExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Construct.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Construct.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Declaration.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Declaration.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/DeclarationBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/DeclarationBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/DividesTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/DividesTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/EqualsFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/EqualsFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/EquivalentFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/EquivalentFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ExistsFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ExistsFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Expression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Expression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ExpressionBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ExpressionBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ForallFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ForallFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FormulaDeclaration.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FormulaDeclaration.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FormulaDeclIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FormulaDeclIdentifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FunctionType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/FunctionType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/GreaterEqualFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/GreaterEqualFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/GreaterFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/GreaterFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Identifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Identifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/IfThenElseExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/IfThenElseExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ImpliesFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ImpliesFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LambdaTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LambdaTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LessEqualFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LessEqualFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LessFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LessFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LetExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LetExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LetType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/LetType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Logical.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Logical.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/MinusTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/MinusTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NegationTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NegationTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotEqualsFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotEqualsFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotEquivalentFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotEquivalentFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/NotFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Number.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Number.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/OrFormula.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/OrFormula.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/PlusTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/PlusTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/PowerTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/PowerTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/QuantifiedExpression$Substitution.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/QuantifiedExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/QuantifiedExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/AndFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ApplicationExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ArrayTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ArrayType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/AST.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ASTBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ASTUtil.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ASTVisitor.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ASTVisitorBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/AtomicType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/AxiomDeclaration.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/BinaryExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Construct.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Declaration.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/DeclarationBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/DividesTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Empty.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/EqualsExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/EqualsFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/EquivalentFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ExistsFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Expression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ExpressionBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ForallFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/FormulaDeclaration.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/FormulaDeclIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/FunctionType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/GreaterEqualFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/GreaterFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Identifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/IfThenElseExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ImpliesFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LambdaTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LessEqualFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LessFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LetExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LetTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/LetType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Logical.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/MinusTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/NegationTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/NotEqualsExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/NotEqualsFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/NotEquivalentFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/NotFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Number.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/OrFormula.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ParenthesizedExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ParenthesizedType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/PlusTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/PowerTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/QuantifiedExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/RecordTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/RecordType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Reference.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SelectionTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Selector.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SelectorBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SelectorIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SelectorIndex.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SelectorNumber.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SubrangeType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/SubType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TimesTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TupleTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TupleType.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Type.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TypeBase.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TypeDeclaration.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TypeDeclIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/TypedIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/UnaryExpression.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/UniqueNameTable.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/UpdateTerm.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/Util.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ValueDeclaration.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ValueDeclIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RCS/ValuedIdentifier.java,v
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RecordTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RecordTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RecordType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/RecordType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Reference.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Reference.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectionTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectionTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Selector.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Selector.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorIdentifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorIndex.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorIndex.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorNumber.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SelectorNumber.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SubrangeType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SubrangeType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SubType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/SubType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TimesTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TimesTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TupleTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TupleTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TupleType.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TupleType.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Type.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/Type.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeBase.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeBase.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeDeclaration.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeDeclaration.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeDeclIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypeDeclIdentifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypedIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/TypedIdentifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UnaryExpression.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UnaryExpression.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UniqueNameTable$Int.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UniqueNameTable.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UniqueNameTable.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UpdateTerm.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/UpdateTerm.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValueDeclaration.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValueDeclaration.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValueDeclIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValueDeclIdentifier.java
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValuedIdentifier.class
|
|
|
|
|
/trunk/src/fmrisc/ProofNavigator/Syntax/ValuedIdentifier.java
|
|
|
|