+++ /dev/null
-definition module gast\r
-\r
-/*\r
- GAST: A Generic Automatic Software Test-system\r
-\r
- Pieter Koopman, 2004-2010\r
- Radboud Universty, Nijmegen\r
- The Netherlands\r
- pieter@cs.ru.nl\r
-*/\r
-\r
-import MersenneTwister, gen, GenEq, genLibTest, testable, confSM, stdProperty
\ No newline at end of file