isar-keywords-quot.el
2010-05-07 Cezary Kaliszyk Manually added some newer keywords from the distribution
2009-12-22 Christian Urban added a print_maps command; updated the keyword file accordingly
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-19 Christian Urban with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place
less more (0) tip