src/Pure/pattern.ML
1993-10-21 lcp 1993-10-21 now calls new fastype_of in three places
1993-09-16 clasohm 1993-09-16 Initial revision