changeset 30663 | 0b6aff7451b2 |
parent 30042 | 31039ee583fa |
child 31706 | 1db0c8f235fb |
--- a/src/HOL/Library/Abstract_Rat.thy Mon Mar 23 08:14:23 2009 +0100 +++ b/src/HOL/Library/Abstract_Rat.thy Mon Mar 23 08:14:24 2009 +0100 @@ -1,12 +1,11 @@ (* Title: HOL/Library/Abstract_Rat.thy - ID: $Id$ Author: Amine Chaieb *) header {* Abstract rational numbers *} theory Abstract_Rat -imports Plain GCD +imports GCD Main begin types Num = "int \<times> int"