Fork: 0
nitta-lab / RDLProofSystem
Browse code
Merge branch 'main' into feature/meta-model2
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 67896d2a06f76d7090f86cc120ddf285d11ab8de
2 parents f8cea21 + 6093678
@Sakoda2269 Sakoda2269 authored on 16 Oct
Patch
Unified Split
Showing 1 changed file
View
src/exceptions/IllegalTypeException.java