Quot/Examples/LarryInt.thy
2010-02-15 Cezary Kaliszyk Fixed the definition of less and finished the missing proof.
2010-02-12 Cezary Kaliszyk renamed 'as' to 'is' everywhere.
2010-02-11 Cezary Kaliszyk Main renaming + fixes for new Isabelle in IntEx2.
2010-01-21 Cezary Kaliszyk Changed fun_map and rel_map to definitions.
2010-01-01 Christian Urban tuned
2009-12-26 Christian Urban generalised absrep function; needs consolidation
2009-12-19 Christian Urban on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file
2009-12-19 Christian Urban renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
2009-12-16 Cezary Kaliszyk Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.
2009-12-11 Christian Urban deleted struct_match by Pattern.match (fixes a problem in LarryInt)
2009-12-11 Christian Urban added Int example from Larry
less more (0) tip