src/CTT/ctt.thy
1993-10-04 wenzelm replaced id by idt;
1993-09-16 clasohm Initial revision
less more (0) tip