Twelf 1.5R3, Aug 30, 2005 (%trustme)
%% OK %%
[Opening file /home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58]
/home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58:2.8-2.10 Error: 
Undeclared identifier tm
/home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58:2.14-2.16 Error: 
Undeclared identifier tm
/home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58:2.8-2.10 Error: 
Ambiguous reconstruction
Inferred: `%A1%
Omitted type is ambiguous
/home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58:2.14-2.16 Error: 
Ambiguous reconstruction
Inferred: `%A2%
Omitted type is ambiguous
[Closing file /home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58]
/home/www/twelf/hcode/106d43c926e52101eaaf620d541a4f58:2.1-2.25 Error: 
 4 errors found
%% ABORT %%