RDLProofSystem/src/models/terms at a86b89c76f92ad78d0510e3739bb25059720042d - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 85 commits

RDLProofSystem / src / models / terms /

latest commit 80735d20dd Sakoda2269 authored on 19 Nov
	..
	meta	公理に出現する階数の制約を追加できるようにした	1 year ago
	Dependency.java	セッターを追加	11 months ago
	DependencyTerm.java	セッターを追加	11 months ago
	EvaluatableTerm.java	ディレクトリ変更	1 year ago
	RDLTerm.java	ディレクトリ変更	1 year ago
	ResourceConstant.java	ディレクトリ変更	1 year ago
	ResourceVariable.java	ディレクトリ変更	1 year ago
	SetEvaluatableTerm.java	セッターを追加	11 months ago