src/Pure/Syntax/syn_trans.ML
Fri, 03 Mar 1995 11:48:05 +0100 clasohm added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
Wed, 12 Oct 1994 16:34:00 +0100 wenzelm remove _explode, _implode and trfuns;
Mon, 26 Sep 1994 17:34:59 +0100 wenzelm explode_tr now produces leadings 0s;
Fri, 19 Aug 1994 15:34:28 +0200 wenzelm added this file;
less more (0) tip