| Fri, 14 Oct 2011 18:55:59 +0200 | haftmann | moved sublists to More_List.thy | changeset | files |
| Fri, 14 Oct 2011 18:55:29 +0200 | haftmann | NEWS | changeset | files |
| Fri, 14 Oct 2011 11:34:30 +0200 | wenzelm | more complete stats, including small sessions which provide some clues on main HOL baseline performance; | changeset | files |
| Thu, 13 Oct 2011 23:35:15 +0200 | haftmann | avoid very specific code equation for card; corrected spelling | changeset | files |