Literature/2259.0.regsimp.pdf
author urbanc
Wed, 09 Feb 2011 04:54:23 +0000 (2011-02-09)
changeset 87 6a0efaabde19
parent 1 205f91d8d91c
permissions -rw-r--r--
deleted the non_empty invariant