src/HOL/Unix/Unix.thy
Tue, 23 Jan 2001 18:05:53 +0100 wenzelm added HOL-Unix example;
less more (0) tip