SearchRewrite.v « output « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/output/SearchRewrite.v

blob: 171a7363fe5ccd6db5233f448eb68f1ec62b540b (plain)

(* Some tests of the SearchRewrite command *)

SearchRewrite (_+0). 			(* left *)
SearchRewrite (0+_). 			(* right *)