src/HOL/Decision_Procs/Decision_Procs.thy
2009-03-11 haftmann 2009-03-11 moved Decision_Procs examples to Decision_Procs/ex
2009-02-07 haftmann 2009-02-07 added Decision_Procs.thy