equal
deleted
inserted
replaced
128 |
128 |
129 <p><B>Quotients Revisited for Isabelle/HOL.</B> |
129 <p><B>Quotients Revisited for Isabelle/HOL.</B> |
130 (with Kaliszyk) In Proceedings of the ACM Symposium on Applied |
130 (with Kaliszyk) In Proceedings of the ACM Symposium on Applied |
131 Computing (SAC 2011), Software Verification and Testing track, |
131 Computing (SAC 2011), Software Verification and Testing track, |
132 Pages 1639-1644. |
132 Pages 1639-1644. |
133 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>] |
133 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR> |
|
134 |
|
135 (We silently assume in this paper to only lift from types that have |
|
136 covariant type-constructors. Many thanks to Ondřej Kunčar, |
|
137 who pointed this out.) |
134 </TD> |
138 </TD> |
135 </TR> |
139 </TR> |
136 |
140 |
137 <TR> |
141 <TR> |
138 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
142 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
443 |
447 |
444 |
448 |
445 </TABLE> |
449 </TABLE> |
446 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
450 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
447 <!-- hhmts start --> |
451 <!-- hhmts start --> |
448 Last modified: Thu Nov 3 01:37:01 GMT 2011 |
452 Last modified: Wed Nov 16 12:25:55 GMT 2011 |
449 <!-- hhmts end --> |
453 <!-- hhmts end --> |
450 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
454 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
451 |
455 |
452 </BODY> |
456 </BODY> |
453 </HTML> |
457 </HTML> |