Mon, 19 Jul 2010 08:59:43 +0200 | haftmann | bind and then latex symbols | file | diff | annotate |
Wed, 14 Jul 2010 12:27:43 +0200 | haftmann | self-built symbol for part of bind operator | file | diff | annotate |
Mon, 22 Jul 2002 13:55:44 +0200 | berghofe | Added "nocite" to avoid BibTeX error when proofs are switched off. | file | diff | annotate |
Sun, 21 Jul 2002 15:45:41 +0200 | berghofe | Document for program extraction in HOL. | file | diff | annotate |