| Sat, 08 Jan 2011 17:14:48 +0100 | wenzelm | misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage; | file | diff | annotate |
| Wed, 14 Jul 2010 14:16:12 +0200 | haftmann | load cache_io before code generator; moved adhoc-overloading to generic tools | file | diff | annotate | base |