Wed, 27 Mar 2013 17:58:07 +0100 | wenzelm | more robust access Toplevel.proof_of -- prefer warning via Toplevel.unknown_proof over hard crash (notably for skipped proofs); | file | diff | annotate |
Fri, 14 Dec 2012 16:33:22 +0100 | wenzelm | updated some headers; | file | diff | annotate |
Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | moved Refute to "HOL/Library" to speed up building "Main" even more | file | diff | annotate | base |