Sun, 01 Mar 2009 14:45:23 +0100 | wenzelm | replaced archaic Display.pretty_fact by FindTheorems.pretty_thm, which observes the context properly (as did the former prt_fact already); | file | diff | annotate |
Fri, 27 Feb 2009 16:05:40 +0100 | wenzelm | observe basic Isabelle/ML coding conventions; | file | diff | annotate |
Fri, 27 Feb 2009 15:46:22 +0100 | wenzelm | moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each; | file | diff | annotate | base |