noted the search-like features in the Coq scripts produced by Satallax, which currently aren't emulated in the Isar output;
noted the search-like features in the Coq scripts produced by Satallax, which currently aren't emulated in the Isar output;

niksu/satallax2.7-isar,niksu/satallax2.7-isar,niksu/satallax2.7-isar