Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/AxClass/Makefile
author oheimb
Tue, 07 Apr 1998 13:46:05 +0200
changeset 4800 97c3a45d092b
parent 3167 4e1eae442821
child 6599 dc5bf3f40ad3
permissions -rw-r--r--
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()
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     1
 
#  $Id$
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     2
 
#########################################################################
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     3
 
#									#
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     4
 
#	Makefile for the report "Introduction to Isabelle"		#
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     5
 
#									#
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     6
 
#########################################################################
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset 
     7
 












4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




     8














4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




     9


FILES =  axclass.tex style.tex













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    10














4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    11


axclass.dvi.gz:   $(FILES)













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    12


	-rm axclass.dvi*













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    13


	latex axclass













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    14


	latex axclass













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    15


	gzip -f axclass.dvi













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    16














4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    17


dist:   $(FILES)













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    18


	-rm axclass.dvi*













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    19


	latex axclass













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    20


	latex axclass













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    21














4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    22


clean:













4e1eae442821
Tutorial on Axiomatic Type Classes;



wenzelm


parents: 

diff
changeset




    23


	@rm *.aux *.log















isabelle