replaced option_map_SomeD by option_map_eq_Some (RS iffD1)
added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset()
# $Id$
#########################################################################
# #
# Makefile for the report "Introduction to Isabelle" #
# #
#########################################################################
FILES = axclass.tex style.tex
axclass.dvi.gz: $(FILES)
-rm axclass.dvi*
latex axclass
latex axclass
gzip -f axclass.dvi
dist: $(FILES)
-rm axclass.dvi*
latex axclass
latex axclass
clean:
@rm *.aux *.log