| 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 |