Rewrite the Probability theory.
Introduced pinfreal as real numbers with infinity.
Use pinfreal as value for measures.
Introduces Lebesgue Measure based on the integral in Multivariate Analysis.
Proved Radon Nikodym for arbitrary sigma finite measure spaces.
#
# $Id$
#
# Common part for Doc Makefiles
#
## settings
LATEX = latex
PDFLATEX = pdflatex
BIBTEX = bibtex
RAIL = rail -a
SEDINDEX = ../sedindex
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
GARBAGE =
OUTPUT =
## special targets
.DELETE_ON_ERROR:
## actions
nothing:
clean:
@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
mrproper:
@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
isabelle.eps:
test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
isabelle_isar.eps:
test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
isabelle_hol.eps:
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
isabelle_zf.eps:
test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
isabelle_nitpick.eps:
test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
isabelle_sledgehammer.eps:
test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
isabelle.pdf:
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
isabelle_isar.pdf:
test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
isabelle_hol.pdf:
test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
isabelle_zf.pdf:
test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
isabelle_nitpick.pdf:
test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
isabelle_sledgehammer.pdf:
test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
typedef.ps:
test -r typedef.ps || ln -s ../gfx/typedef.ps .
typedef.pdf:
test -r typedef.pdf || ln -s ../gfx/typedef.pdf .