Many new theorems about multisets and their ordering, including basic
laws like {#} <= M. Renamed union_comm to union_commute. Introduced the
collection operator {# x:M. P x #}.
#
# $Id$
#
# Isabelle user settings sample (everything commented out)
# -- some parts may be copied into ~/isabelle/etc/settings.
#
###
### Compilation options
###
#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
###
### Heap files
###
# Note: ML system identifier appended automatically!
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
#ISABELLE_OUTPUT=somewhere-else
#ISABELLE_LOGIC=ZF
###
### Interfaces
###
# Simple xterm based interface.
#ISABELLE_INTERFACE=xterm
# Emacs running Isamode.
#ISABELLE_INTERFACE=emacs