From: hackbard Date: Wed, 13 Jul 2011 13:18:32 +0000 (+0200) Subject: polytypes substituted X-Git-Url: https://hackdaworld.org/gitweb/?a=commitdiff_plain;ds=inline;h=7aaa88055445022d118d09860dc3412871c9eb9c;hp=7aaa88055445022d118d09860dc3412871c9eb9c;p=lectures%2Flatex.git polytypes substituted ---