src/HOL/ex/veriT_Preprocessing.thy
2017-02-10 blanchet 2017-02-10 renamings
2017-02-10 blanchet 2017-02-10 tuning
2017-02-02 blanchet 2017-02-02 added veriT preprocessing proof reconstruction example