Mon, 28 May 2018 21:29:03 +0200 | wenzelm | more accurate theory_graph: avoid imports of loaded_theories with incomplete node name; | changeset | files |
Mon, 28 May 2018 17:40:34 +0200 | wenzelm | clarified signature: Known.theories retains Document.Node.Entry (with header); | changeset | files |
Mon, 28 May 2018 13:35:43 +0200 | wenzelm | clarified signature; | changeset | files |