Quot/Examples/LarryDatatype.thy
2010-02-12 Cezary Kaliszyk renamed 'as' to 'is' everywhere.
2010-02-11 Cezary Kaliszyk Notation available locally
2010-02-11 Cezary Kaliszyk Main renaming + fixes for new Isabelle in IntEx2.
2010-01-01 Christian Urban tuned
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-11 Christian Urban tuned
2009-12-11 Christian Urban added Int example from Larry
2009-12-11 Christian Urban merged
2009-12-11 Christian Urban tuned
2009-12-11 Christian Urban renamed Larrys example
less more (0) tip