src/HOL/Induct/Simult.ML
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions