	modified:   inference_rules_axioms.pl 		Check for equality other than preorder in (-> L), (ATM), (C). 		(ATM) checks \notin \Gamma also for element under examination. 		New rule (VD).
	modified:   inference_rules_axioms.pl
		Check for equality other than preorder in (-> L), (ATM), (C).
		(ATM) checks \notin \Gamma also for element under examination.
		New rule (VD).

rispoli/acl-lean,rispoli/acl-lean