[isabelle-dev] Time for find_theorems.ML cleanup again?
makarius at sketis.net
Thu Jul 18 23:42:34 CEST 2013
What is the current situation of src/Pure/Tools/find_theorems.ML? Over
the years I have occasionally made substantial cleanups from old
experiments so that new experiments could be started by others.
Right now (b824497c8e86) there there various remains from XML things,
using the old Legacy_XML_Syntax module. What were the results of that
(hidden) project on persistent search facilities?
More information about the isabelle-dev