src/HOL/ex/SAT_Examples.thy
Tue, 06 Oct 2015 17:47:28 +0200 wenzelm isabelle update_cartouches;
Fri, 06 Mar 2015 23:57:01 +0100 wenzelm clarified context;
Fri, 06 Mar 2015 15:58:56 +0100 wenzelm Thm.cterm_of and Thm.ctyp_of operate on local context;
less more (0) -30 -10 -3 tip