Quot/Examples/LarryInt.thy
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