Mon, 06 Jan 2014 17:47:44 +0100 | wenzelm | more formal ISABELLE_BROWSER_INFO; | changeset | files |
Mon, 06 Jan 2014 17:33:23 +0100 | wenzelm | tuned comments; | changeset | files |
Mon, 06 Jan 2014 19:55:01 +0100 | haftmann | dropped legacy | changeset | files |
Mon, 06 Jan 2014 09:31:21 +0100 | haftmann | order and graph for code symbols | changeset | files |
Mon, 06 Jan 2014 09:31:19 +0100 | haftmann | special treatment of ==> and == solely as constants | changeset | files |
Mon, 06 Jan 2014 09:31:18 +0100 | haftmann | uniform orientation of instances as (type constructor, type class) | changeset | files |
Sun, 05 Jan 2014 18:59:29 +0100 | nipkow | minimized class dependency, updated references | changeset | files |