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