idris-1.3.3: test/interactive001/input.in
:casesplit 12 xs :casesplit 18 ys :proofsearch 22 maprhs :makewith 26 isElem2 :casesplit 31 p :casesplit 36 xs' :casesplit 39 x :casesplit 43 case_val
:casesplit 12 xs :casesplit 18 ys :proofsearch 22 maprhs :makewith 26 isElem2 :casesplit 31 p :casesplit 36 xs' :casesplit 39 x :casesplit 43 case_val