"git@ic-gitlab.epfl.ch:ahoffman/gyacomo.git" did not exist on "0665732a0a2d1734e2817041dbf5410757fab1bf"
Moved project lisa to root
Changed final class into sealed class for scala2 compiler
Showing
- build.sbt 1 addition, 1 deletionbuild.sbt
- lisa-examples/src/main/scala/Example.scala 1 addition, 1 deletionlisa-examples/src/main/scala/Example.scala
- lisa-kernel/src/main/scala/lisa/kernel/fol/FormulaDefinitions.scala 3 additions, 3 deletions...l/src/main/scala/lisa/kernel/fol/FormulaDefinitions.scala
- lisa-kernel/src/main/scala/lisa/kernel/fol/FormulaLabelDefinitions.scala 2 additions, 2 deletions.../main/scala/lisa/kernel/fol/FormulaLabelDefinitions.scala
- lisa-kernel/src/main/scala/lisa/kernel/fol/TermDefinitions.scala 2 additions, 2 deletions...rnel/src/main/scala/lisa/kernel/fol/TermDefinitions.scala
- lisa-kernel/src/main/scala/lisa/kernel/fol/TermLabelDefinitions.scala 3 additions, 3 deletions...src/main/scala/lisa/kernel/fol/TermLabelDefinitions.scala
- lisa-kernel/src/main/scala/lisa/kernel/proof/RunningTheory.scala 4 additions, 4 deletions...rnel/src/main/scala/lisa/kernel/proof/RunningTheory.scala
- src/main/scala/lisa/proven/Main.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/Main.scala
- src/main/scala/lisa/proven/SetTheoryLibrary.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/SetTheoryLibrary.scala
- src/main/scala/lisa/proven/mathematics/Mapping.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/mathematics/Mapping.scala
- src/main/scala/lisa/proven/mathematics/SetTheory.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/mathematics/SetTheory.scala
- src/main/scala/lisa/proven/tactics/Destructors.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/tactics/Destructors.scala
- src/main/scala/lisa/proven/tactics/ProofTactics.scala 0 additions, 0 deletionssrc/main/scala/lisa/proven/tactics/ProofTactics.scala
- src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala 0 additions, 0 deletions...scala/lisa/proven/tactics/SimplePropositionalSolver.scala
- src/test/scala/lisa/proven/InitialProofsTests.scala 0 additions, 0 deletionssrc/test/scala/lisa/proven/InitialProofsTests.scala
- src/test/scala/lisa/proven/SimpleProverTests.scala 0 additions, 0 deletionssrc/test/scala/lisa/proven/SimpleProverTests.scala
Loading
Please register or sign in to comment