Hello. When I process the following file with Holmake from a recent Git build I get indexedLists and patternMatches as parents; with Kananaskis-11 I get quantHeuristics and rich_list as parents. Why? There is no apparent dependency on anything but the bool theory.
“open HolKernel Parse boolLib boolTheory;
val _ = new_theory "test";
save_thm("T", TRUTH);
val _ = export_theory ();”
--
Do not eat animals; respect them as you respect people.
https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
