History for RDLProofSystem / src / main / java / models / terms / meta / MetaDependency.java
2026-09-16
@Sakoda2269
right sub実装まで
Sakoda2269 committed 20 days ago
@Sakoda2269
dynamicのsubstitutionを作成
Sakoda2269 committed 21 days ago
@Sakoda2269
isMatchedByからdepthを削除
Sakoda2269 committed 21 days ago
@Sakoda2269
merge main
Sakoda2269 committed 21 days ago
2026-09-15
@n-nitta
RDLTerm 以下の Type と Symbol を削除(RDLWorkbenchに委譲)
n-nitta committed 22 days ago
2026-09-14
@Sakoda2269
dynami 修正 途中まで
Sakoda2269 committed 23 days ago
2026-09-12
@Sakoda2269
dynamicの見直し
Sakoda2269 committed 24 days ago
2026-09-11
@Sakoda2269
DependencyとDependencyTermの支配項の重複を許した
Sakoda2269 committed 25 days ago