basic setup for zipperposition prover
Correcting the type parser
add support for Isar reconstruction for thf1 ATP provers like Leo-II.
imported patch leo2_skolem_simplication
Moving the remote prefix deleting on Sledgehammer's side
Skolemization support for leo-II and Zipperposition.
Basic support for the SMT prover veriT.
Subproofs for the SMT solver veriT.