RDLProofSystem/src/tests/terms/meta at 436801ee2ee6edb7d8637dfc7ffdec0a41ba169c - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 116 commits

RDLProofSystem / src / tests / terms / meta /

latest commit dc7a70045e Sakoda2269 authored on 18 Apr
	..
	MetaDependencyVariableTest.java	書き換えの推論を少し実装	5 months ago
	MetaEvaluatableTermVariableTest.java	書き換えの推論を少し実装	5 months ago
	MetaRDLTermTest.java	書き換えの推論を少し実装	5 months ago
	MetaResourceVariableTest.java	書き換えの推論を少し実装	5 months ago
	SubstituteTest.java	書き換えの推論を少し実装	5 months ago