src/HOL/Codegenerator_Test/Candidates.thy
2012-08-29 Christian Sternagel 2012-08-29 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
2011-03-03 wenzelm 2011-03-03 modernized imports;
2010-07-02 haftmann 2010-07-02 introduced distinct session HOL-Codegenerator_Test