2010-02-12 | Cezary Kaliszyk | renamed 'as' to 'is' everywhere. | file | diff | annotate |
2010-02-11 | Cezary Kaliszyk | Notation available locally | file | diff | annotate |
2010-02-11 | Cezary Kaliszyk | Main renaming + fixes for new Isabelle in IntEx2. | file | diff | annotate |
2010-01-01 | Christian Urban | tuned | file | diff | annotate |
2009-12-19 | Christian Urban | on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file | file | diff | annotate |
2009-12-19 | Christian Urban | renamed "quotient" command to "quotient_type"; needs new keyword file to be installed | file | diff | annotate |
2009-12-11 | Christian Urban | tuned | file | diff | annotate |
2009-12-11 | Christian Urban | added Int example from Larry | file | diff | annotate |
2009-12-11 | Christian Urban | merged | file | diff | annotate | base |
2009-12-11 | Christian Urban | tuned | file | diff | annotate |
2009-12-11 | Christian Urban | renamed Larrys example | file | diff | annotate | base |