Admin/isa-migrate

         my ($file, @content) = @_;
         #~ my $diag = 1;
         my $diag = 0;
         $_ = join("", @content);
         if (m!^theory!cgoms) {
-            my $prelude = $';
+            my $prelude = $`;
             my $thyheader = "theory";
             $thyheader .= skip_wscomment();
             if (m!\G(\S+)!cgoms) {
                 $thyheader .= $1;
                 $thyheader .= skip_wscomment();