berghofe [Tue, 12 Jul 2005 11:51:31 +0200] rev 16770
Auxiliary functions to be used in generated code are now defined using "attach".
berghofe [Tue, 12 Jul 2005 11:41:24 +0200] rev 16769
Implemented mechanism for attaching auxiliary code to consts_code and
types_code declarations.
nipkow [Mon, 11 Jul 2005 19:59:11 +0200] rev 16768
small text mod
quigley [Mon, 11 Jul 2005 16:42:42 +0200] rev 16767
Fixed some problems with the signal handler.
obua [Mon, 11 Jul 2005 14:52:55 +0200] rev 16766
Improved implementation of Defs.is_overloaded.
berghofe [Fri, 08 Jul 2005 11:57:15 +0200] rev 16765
Some changes to allow mutually recursive, overloaded functions with same name.
nipkow [Fri, 08 Jul 2005 11:39:59 +0200] rev 16764
added Davenport reference
nipkow [Fri, 08 Jul 2005 11:39:44 +0200] rev 16763
moved Davenport citation to Main, removed author list
nipkow [Fri, 08 Jul 2005 11:39:08 +0200] rev 16762
moved gcd to new GCD.thy
nipkow [Fri, 08 Jul 2005 11:38:53 +0200] rev 16761
proof needed updating because of arith
nipkow [Fri, 08 Jul 2005 11:38:30 +0200] rev 16760
changed imports due to new GCD.thy
nipkow [Fri, 08 Jul 2005 11:37:53 +0200] rev 16759
Used to be in Library/Primes