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