RDLProofSystem/src/models/terms/meta at 238389deacc6ca39fa15204c7e95294c1c73262a - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 64 commits

RDLProofSystem / src / models / terms / meta /

latest commit cd3fde4390 Sakoda2269 authored on 5 Nov
	..
	MetaDependencyTermVariable.java	ディレクトリ変更	10 months ago
	MetaDependencyVariable.java	ディレクトリ変更	10 months ago
	MetaEvaluatableTermSet.java	集合の形の評価可能項に対応	10 months ago
	MetaEvaluatableTermVariable.java	ディレクトリ変更	10 months ago
	MetaRDLTerm.java	集合の形の評価可能項に対応	10 months ago
	MetaRDLTermVariable.java	ディレクトリ変更	10 months ago
	MetaResourceVariable.java	ディレクトリ変更	10 months ago
	MetaVariable.java	ディレクトリ変更	10 months ago
	OrderConstraint.java	ディレクトリ変更	10 months ago
	OrderVariableConstraint.java	公理に出現する階数の制約を追加できるようにした	10 months ago