src/HOL/Library/Abstract_Rat.thy
2007-10-12 wenzelm 2007-10-12 replaced syntax/translations by abbreviation;
2007-08-09 haftmann 2007-08-09 proper implementation of rational numbers