Wed, 17 Jun 2009 15:14:48 +0200 | wenzelm | minor tuning according to Isabelle/ML conventions; | file | diff | annotate |
Tue, 03 Mar 2009 12:14:52 +1100 | Timothy Bourke | Implement Makarius's suggestion for improved type pattern parsing. | file | diff | annotate |
Mon, 02 Mar 2009 18:11:39 +1100 | Timothy Bourke | find_consts: fold in preference to foldl; hide internal constants; remove redundant exception catch | file | diff | annotate |
Sun, 01 Mar 2009 23:36:12 +0100 | wenzelm | use long names for old-style fold combinators; | file | diff | annotate |
Sun, 01 Mar 2009 16:22:37 +0100 | wenzelm | avoid fragile parsing of end_timing result -- would have produced GC time on MosML, for example; | 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 |