1.1 --- a/src/Tools/isac/calcelems.sml	Thu Jul 31 16:55:22 2014 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Mon Aug 04 15:54:57 2014 +0200
     1.3 @@ -514,7 +514,7 @@
     1.4  			    coursedesign: authors,
     1.5  			    mathauthors: authors,
     1.6  			    fillpats: fillpat list,
     1.7 -			    thm: term}
     1.8 +			    thm: thm}
     1.9  		 | Hrls of {guh: guh,
    1.10  			    coursedesign: authors,
    1.11  			    mathauthors: authors,