src/HOL/Library/Fin_Fun.thy
2009-09-23 haftmann 2009-09-23 Code_Eval(uation)
2009-06-25 haftmann 2009-06-25 arbitrary farewell
2009-06-15 haftmann 2009-06-15 Quickcheck.random
2009-06-15 haftmann 2009-06-15 hide constant Quickcheck.random
2009-06-14 haftmann 2009-06-14 dropped select_default
2009-06-08 haftmann 2009-06-08 constant "chars" of all characters
2009-06-02 haftmann 2009-06-02 moved restrict_map_insert to theory Map
2009-06-02 haftmann 2009-06-02 added/moved lemmas by Andreas Lochbihler
2009-06-02 haftmann 2009-06-02 added Fin_Fun theory