Merge pull request #13 from Sakoda2269/feature/rewrite

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #13 from Sakoda2269/feature/rewrite Feature/rewrite feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit e85040379ec4141e64855fd521afbca0aa7d60c1 2 parents 5750253 + 48444f8 Sakoda2269 authored on 17 Jul GitHub committed on 17 Jul

Patch

Unified Split

Showing 6 changed files

Ignore Space Show notes View pom.xml

Ignore Space Show notes View src/main/java/Main.java

Ignore Space Show notes View src/main/java/inference/rewrite/Position.java 0 → 100644

Ignore Space Show notes View src/main/java/inference/rewrite/ResourceTree.java 0 → 100644

Ignore Space Show notes View src/main/java/inference/rewrite/RewriteInferenceSystem.java

Ignore Space Show notes View src/main/java/models/terms/PrimedTerm.java

Show line notes below