isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/Intro/advanced.tex

2003-08-13	paulson	corrections by Viktor Kuncak and minor updating	file \| diff \| annotate
2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
1998-07-28	paulson	Changed "goal" to "Goal"	file \| diff \| annotate
1997-07-02	paulson	Now there are TWO spaces after each full stop, so that the Emacs sentence	file \| diff \| annotate
1997-05-16	wenzelm	hint at more sections;	file \| diff \| annotate
1997-05-06	wenzelm	fixed simplifier ex;	file \| diff \| annotate
1997-05-05	wenzelm	tuned;	file \| diff \| annotate
1997-05-05	wenzelm	misc updates, tuning, cleanup;	file \| diff \| annotate
1996-08-12	paulson	Rewording: parameters->arguments!	file \| diff \| annotate
1996-04-04	nipkow	Added 'constdefs' and extended the section on 'defs'	file \| diff \| annotate
1996-01-31	nipkow	right-hard -> right-hand	file \| diff \| annotate
1996-01-31	nipkow	Typo	file \| diff \| annotate
1995-12-07	clasohm	removed quotes from syntax and consts sections	file \| diff \| annotate
1995-11-24	nipkow	Inserted warning about defs with extra vars on rhs.	file \| diff \| annotate
1995-07-25	lcp	trivial update	file \| diff \| annotate
1995-05-03	lcp	Covers defs and re-ordering of theory sections	file \| diff \| annotate
1995-01-02	wenzelm	fixed minor typos;	file \| diff \| annotate
1994-07-11	lcp	minor edits	file \| diff \| annotate
1994-05-03	lcp	post-CRC corrections	file \| diff \| annotate
1994-04-22	lcp	final Springer copy	file \| diff \| annotate
1994-04-15	lcp	penultimate Springer draft	file \| diff \| annotate
1994-04-04	lcp	modifications towards final draft	file \| diff \| annotate
1994-03-24	nipkow	added section on type synonyms	file \| diff \| annotate
1994-03-24	lcp	revisions to first Springer draft	file \| diff \| annotate
1994-03-19	lcp	First draft of Springer book	file \| diff \| annotate
1993-11-26	lcp	Corrected errors found by Marcus Wenzel.	file \| diff \| annotate
1993-11-11	clasohm	adapted "Defining theories" to new use_thy	file \| diff \| annotate
1993-11-10	lcp	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom