Tue, 28 Mar 1995 13:13:17 +0200 clasohm changed string scanner so that newlines ('\n') are allowed and ignored inside
Tue, 28 Mar 1995 12:25:20 +0200 clasohm changed syntax of datatype declarations (curried types for constructor
Tue, 28 Mar 1995 12:21:10 +0200 clasohm renamed theorem "apfst" to "apfst_conv" to avoid conflict with function
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip