1 2 3 4 5 6 7 8 9 10
(* Example theory file for Isabelle David Aspinall <da@dcs.ed.ac.uk> $Id$ *) Example = Main