示例#1
0
		public ProofStep(Rule rule, System.Collections.IDictionary substitutions) {
			Rule = rule;
			Substitutions = substitutions;
		}
示例#2
0
		public ProofStep(Rule rule, IDictionary substitutions) {
			Rule = rule;
			Substitutions = substitutions;
		}