Subversion Repositories FM-RISC2

Rev

Go to most recent revision | Directory listing | Details | Blame | View Log | RSS feed

Last modification

Path Blame Diff Log
/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