| Wed, 04 Sep 2019 15:27:04 +0100 | paulson | Half of Brouwer_Fixpoint split off to form a separate theory: Retracts. | changeset | files |
| Wed, 04 Sep 2019 14:16:27 +0100 | paulson | Theory Derivative no longer depends on Path_Connected | changeset | files |
| Mon, 02 Sep 2019 19:44:12 +0200 | wenzelm | more explicit type Dump.Session, with context information; | changeset | files |
| Mon, 02 Sep 2019 16:28:09 +0200 | wenzelm | proper orientation; | changeset | files |
| Mon, 02 Sep 2019 11:46:27 +0200 | wenzelm | clarified signature: prefer operations without position; | changeset | files |
| Mon, 02 Sep 2019 10:41:14 +0200 | wenzelm | prefer Theory_Ordering theory names are unique (due to proper session context); | changeset | files |
| Sun, 01 Sep 2019 22:57:25 +0200 | wenzelm | clarified signature: full dependency graph; | changeset | files |