kleing [Mon, 29 Mar 2004 08:59:23 +0200] rev 14491
put in sections, reorganized, removed intro to isabelle
kleing [Mon, 29 Mar 2004 08:54:26 +0200] rev 14490
allow sections in contents file
webertj [Fri, 26 Mar 2004 19:58:43 +0100] rev 14489
satsolver=dpll
webertj [Fri, 26 Mar 2004 14:53:17 +0100] rev 14488
slightly different SAT solver interface
webertj [Fri, 26 Mar 2004 12:21:50 +0100] rev 14487
Installed solvers now determined at call time (as opposed to compile time)
kleing [Fri, 26 Mar 2004 05:32:00 +0100] rev 14486
symbols in idents
paulson [Thu, 25 Mar 2004 10:32:21 +0100] rev 14485
new material from Avigad
paulson [Thu, 25 Mar 2004 10:31:25 +0100] rev 14484
new treatment of equivalence classes
kleing [Thu, 25 Mar 2004 06:44:39 +0100] rev 14483
documented new identifier syntax
kleing [Thu, 25 Mar 2004 05:37:32 +0100] rev 14482
moved MiniML and AVL to archive of formal proofs