prefer qualified ISABELLE_NEOS_SERVER;

proper File.shell_path;

more conventional variable name;

Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;

fixed document;

isatest: test more external code;

tuned headers;

allow spaces in executable names; simplified generated bash scripts;

tuned;

tuned headers;

adapting example file to renaming of the quickcheck tester

renaming tester from lazy_exhaustive to narrowing

minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common

renaming example file correctly

adapting Main file generation for Quickcheck_Narrowing

adapting Quickcheck_Narrowing and example file to new names

renaming LSC_Examples theory to Quickcheck_Narrowing

renaming lazysmallcheck ML file to Quickcheck_Narrowing

renaming LSC to Quickcheck_Narrowing

adaptions in generators using the common functions

adding file quickcheck_common to carry common functions of all quickcheck generators

adapting record package to renaming of quickcheck's structures

moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better

correcting dependencies in IsaMakefile

renaming signatures and structures; correcting header

adapting Quickcheck theory after moving ML files

moving quickcheck_generators.ML to Quickcheck directory and renaming it random_generators.ML

moving exhaustive_generators.ML to Quickcheck directory

correcting dependencies after renaming

replacing naming of small by exhaustive