[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

prove theory with strategy



Is there any way to try all proofs with a given strategy? So like
prove-untried-theory, but trying all the proofs not just the untried ones. 


Thanks,
Hanne
---------------------------------------------------------
Hanne Gottliebsen		    Office P337
Dept. of Computer Science	    Ph: +44 1334 46 3265
University of St Andrews	    hago@dcs.st-and.ac.uk
  - I want a single-skin cotton tent like Mr Weasley's
---------------------------------------------------------