| 2010-02-09 |
blanchet |
optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers
|
file |
diff |
annotate
|
| 2009-11-30 |
bulwahn |
adding subsection about the predicate compiler to the code generator tutorial
|
file |
diff |
annotate
|
| 2009-11-23 |
krauss |
mentioned method size_change in function tutorial
|
file |
diff |
annotate
|
| 2009-10-22 |
blanchet |
Added Nitpick manual.
|
file |
diff |
annotate
|
| 2009-09-15 |
wenzelm |
updated bib;
|
file |
diff |
annotate
|
| 2009-05-26 |
haftmann |
weakend references to old axclass
|
file |
diff |
annotate
|
| 2009-03-04 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| 2009-03-04 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| 2009-02-28 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| 2009-02-26 |
wenzelm |
added Haftmann-Wenzel:2009;
|
file |
diff |
annotate
|
| 2009-02-11 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| 2009-02-09 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| 2008-11-18 |
wenzelm |
added isabelle-implementation manual;
|
file |
diff |
annotate
|
| 2008-10-14 |
haftmann |
continued codegen tutorial
|
file |
diff |
annotate
|
| 2008-06-02 |
wenzelm |
added Wenzel:2006:Festschrift;
|
file |
diff |
annotate
|
| 2007-11-05 |
nipkow |
fix
|
file |
diff |
annotate
|
| 2007-10-19 |
krauss |
updated
|
file |
diff |
annotate
|
| 2007-09-18 |
haftmann |
updated
|
file |
diff |
annotate
|
| 2007-09-03 |
krauss |
Documented function package in IsarRef-manual.
|
file |
diff |
annotate
|
| 2007-08-09 |
haftmann |
updated
|
file |
diff |
annotate
|
| 2007-07-24 |
haftmann |
updated
|
file |
diff |
annotate
|
| 2007-06-26 |
paulson |
completed some references
|
file |
diff |
annotate
|
| 2007-06-01 |
krauss |
added some bibtex entries
|
file |
diff |
annotate
|
| 2007-02-14 |
haftmann |
continued class tutorial
|
file |
diff |
annotate
|
| 2007-02-10 |
haftmann |
added references for code generator tutorial
|
file |
diff |
annotate
|
| 2006-10-20 |
haftmann |
added entries for tutorials
|
file |
diff |
annotate
|
| 2006-09-12 |
wenzelm |
added Gentzen:1935;
|
file |
diff |
annotate
|
| 2006-09-05 |
wenzelm |
added Barendregt-Geuvers:2001;
|
file |
diff |
annotate
|
| 2005-01-08 |
nipkow |
new citation
|
file |
diff |
annotate
|
| 2004-02-11 |
nipkow |
Missing } inserted
|
file |
diff |
annotate
|
| 2004-02-10 |
paulson |
updated links to the old ftp site
|
file |
diff |
annotate
|
| 2003-12-15 |
paulson |
updated references to the now-pornographic proofgeneral.org
|
file |
diff |
annotate
|
| 2003-09-26 |
paulson |
new reference
|
file |
diff |
annotate
|
| 2003-08-13 |
paulson |
added tutorial
|
file |
diff |
annotate
|
| 2002-05-13 |
wenzelm |
updated X-Symbol URL;
|
file |
diff |
annotate
|
| 2002-03-04 |
berghofe |
Tuned some references to LNCS volumes.
|
file |
diff |
annotate
|
| 2002-02-19 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-02-12 |
wenzelm |
added isabelle-hol-book;
|
file |
diff |
annotate
|
| 2002-01-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-01-02 |
wenzelm |
added isabelle-intro, isabelle-logics;
|
file |
diff |
annotate
|
| 2001-12-31 |
berghofe |
Added "Executing higher order logic" paper.
|
file |
diff |
annotate
|
| 2001-12-11 |
wenzelm |
added HOL-Library;
|
file |
diff |
annotate
|
| 2001-11-29 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-09-28 |
berghofe |
Added TPHOLs2000 paper about proof terms.
|
file |
diff |
annotate
|
| 2001-09-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2001-04-24 |
paulson |
new reference: Yahalom
|
file |
diff |
annotate
|
| 2001-04-10 |
paulson |
security protocol refs
|
file |
diff |
annotate
|
| 2001-03-15 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-03-15 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-03-14 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-03-07 |
paulson |
expanded abbrevs
|
file |
diff |
annotate
|
| 2001-03-07 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-01-24 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2001-01-05 |
paulson |
Fleuriot reference
|
file |
diff |
annotate
|
| 2000-10-18 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2000-10-11 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2000-10-11 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-09-28 |
wenzelm |
www.proofgeneral.org;
|
file |
diff |
annotate
|
| 2000-09-26 |
wenzelm |
www.proofgeneral.org;
|
file |
diff |
annotate
|