Mon, 14 Mar 2011 14:37:35 +0100 | hoelzl | generalize infinite sums | changeset | files |
Mon, 14 Mar 2011 14:37:33 +0100 | hoelzl | moved t2_spaces to HOL image | changeset | files |
Mon, 14 Mar 2011 15:17:10 +0100 | wenzelm | example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL; | changeset | files |