Mon, 25 Oct 2010 16:52:20 +0200 | wenzelm | export main ML entry by default; | file | diff | annotate |
Mon, 25 Oct 2010 16:41:23 +0200 | wenzelm | observe Isabelle/ML coding standards; | file | diff | annotate |
Mon, 25 Oct 2010 10:30:46 +0200 | blanchet | introduced manual version of "Auto Solve" as "solve_direct" | file | diff | annotate | base |