ディレクトリ構成の更新

Fork: 0

nitta-lab / RDLProofSystem

Browse code ディレクトリ構成の更新 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent f119861 commit 2837060f21ec3141ca5b452fa541b5cf834d5542 Sakoda2269 authored on 19 May

Patch

Unified Split

Showing 6 changed files

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

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

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

Show line notes below