summaryrefslogtreecommitdiff
path: root/test-suite/output/SearchRewrite.v
blob: 171a7363fe5ccd6db5233f448eb68f1ec62b540b (plain)
1
2
3
4
(* Some tests of the SearchRewrite command *)

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