- Installed specific code generator for equality enforcing that
arguments do not have function types, which would result in
an error message during compilation.
- Added test case generators for basic types.
# -*- shell-script -*-
# $Id$
#
# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
ISABELLE_LOGIC=HOL