rwxr-xr-x 4273/0 0 Jun 6 20:29 1994 thinglab/ rw-r--r-- 4273/0 39842 May 12 19:12 1994 thinglab/Demos.v2.st rw-r--r-- 4273/0 470548 May 12 19:14 1994 thinglab/ThingLabII.v2.st rw-r--r-- 4273/0 100395 May 12 19:15 1994 thinglab/Things.v2.st rw-r--r-- 4273/0 11530 May 12 19:14 1994 thinglab/ThingLabII.form rw-r--r-- 4273/0 32199 May 12 19:14 1994 thinglab/ThingManual.text rw-r--r-- 4273/0 35840 May 12 19:14 1994 thinglab/ThingManual.word3.02