Wed, 04 Aug 2010 16:28:45 +0200 | wenzelm | uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values); | changeset | files |
Wed, 04 Aug 2010 16:11:51 +0200 | wenzelm | load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF; | changeset | files |
Wed, 04 Aug 2010 15:50:55 +0200 | wenzelm | export use_thys_wrt; | changeset | files |