| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:36:48 +0100 |
blanchet |
renamed 'map_pair' to 'map_prod'
|
file |
diff |
annotate
|
| Fri, 15 Nov 2013 22:02:05 +0100 |
haftmann |
dropped duplicate of of_bool
|
file |
diff |
annotate
|
| Tue, 05 Mar 2013 09:47:15 +0100 |
traytel |
allow more general coercion maps; tuned;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 22:15:31 +0100 |
traytel |
coercion-invariant arguments at work
|
file |
diff |
annotate
|
| Fri, 22 Feb 2013 13:38:10 +0100 |
traytel |
Coercion_Examples defines required coercions itself (no Complex_Main needed)
|
file |
diff |
annotate
|
| Wed, 01 Dec 2010 11:32:24 +0100 |
wenzelm |
activate subtyping/coercions in theory Complex_Main;
|
file |
diff |
annotate
|
| Tue, 02 Nov 2010 12:37:12 +0100 |
traytel |
Attribute map_function -> coercion_map;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 22:07:48 +0200 |
wenzelm |
proper signature constraint for ML structure;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 21:49:33 +0200 |
wenzelm |
proper header;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 21:34:07 +0200 |
wenzelm |
Coercive subtyping via subtype constraints, by Dmitriy Traytel (21-Oct-2010).
|
file |
diff |
annotate
|