src/HOL/UNITY/UNITY_Examples.thy
2009-09-21 haftmann 2009-09-21 entry point theory for examples; reactivated half-dead example