src/HOL/ex/Coercion_Examples.thy
Fri, 01 Mar 2013 22:15:31 +0100 traytel coercion-invariant arguments at work
Fri, 22 Feb 2013 13:38:10 +0100 traytel Coercion_Examples defines required coercions itself (no Complex_Main needed)
Wed, 01 Dec 2010 11:32:24 +0100 wenzelm activate subtyping/coercions in theory Complex_Main;
Tue, 02 Nov 2010 12:37:12 +0100 traytel Attribute map_function -> coercion_map;
Fri, 29 Oct 2010 22:07:48 +0200 wenzelm proper signature constraint for ML structure;
Fri, 29 Oct 2010 21:49:33 +0200 wenzelm proper header;
Fri, 29 Oct 2010 21:34:07 +0200 wenzelm Coercive subtyping via subtype constraints, by Dmitriy Traytel (21-Oct-2010).
less more (0) tip