1.1 --- a/src/Tools/isac/calcelems.sml	Mon Aug 04 17:03:55 2014 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Tue Aug 05 08:30:26 2014 +0200
     1.3 @@ -514,7 +514,7 @@
     1.4  			    coursedesign: authors,
     1.5  			    mathauthors: authors,
     1.6  			    fillpats: fillpat list,
     1.7 -			    thm: thm}
     1.8 +			    thm: thm} (* here no sym_thm, thus no thmID required *)
     1.9  		 | Hrls of {guh: guh,
    1.10  			    coursedesign: authors,
    1.11  			    mathauthors: authors,