Tue, 04 Sep 2018 08:40:53 +0200 | nipkow | tuned | changeset | files |
Mon, 03 Sep 2018 22:38:23 +0200 | nipkow | tuned | changeset | files |
Mon, 03 Sep 2018 20:46:09 +0200 | wenzelm | more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports; | changeset | files |