Admin/isa-migrate

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