Mon, 07 May 2018 17:20:39 +0200 | wenzelm | clarified signature; | changeset | files |
Mon, 07 May 2018 17:11:01 +0200 | wenzelm | store exports within PIDE command state; | changeset | files |
Sun, 06 May 2018 18:20:25 +0000 | haftmann | removed some lemma duplicates | changeset | files |