src/HOL/Tools/SMT/lethe_proof_parse.ML
Sat, 17 Sep 2022 16:50:39 +0200 wenzelm proper file headers;
Tue, 29 Mar 2022 13:31:45 +0200 desharna post-merged into new Lethe code
Mon, 14 Mar 2022 07:12:48 +0100 Mathias Fleury split veriT reconstruction into Lethe and veriT part
less more (0) tip