src/Cube/L2.thy
Tue, 20 Jan 1998 18:26:26 +0100 wenzelm reorganized into individual theories;
less more (0) tip