[isabelle] paper about overloaded defs



I take this opportunity to advertise my work on overloading in higher-order logic: http://www4.in.tum.de/~obua/checkdefs.

Steven






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.