Exemplo n.º 1
0
		public ProofStep(Rule rule, System.Collections.IDictionary substitutions) {
			Rule = rule;
			Substitutions = substitutions;
		}
Exemplo n.º 2
0
		public ProofStep(Rule rule, IDictionary substitutions) {
			Rule = rule;
			Substitutions = substitutions;
		}