| Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | file | diff | annotate |
| Tue, 08 Aug 2006 18:40:56 +0200 | paulson | skolem declarations for built-in theorems | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | file | diff | annotate |
| Tue, 02 May 2006 20:42:32 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Tue, 01 Jun 2004 11:25:26 +0200 | paulson | more on bij_betw | file | diff | annotate |
| Wed, 19 May 2004 11:30:56 +0200 | paulson | new bij_betw operator | file | diff | annotate |
| Fri, 14 May 2004 16:49:42 +0200 | paulson | new lemmas | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Fri, 27 Sep 2002 16:44:50 +0200 | paulson | Proof tidying | file | diff | annotate |
| Fri, 27 Sep 2002 10:36:21 +0200 | paulson | Tidied. New Pi-theorem. | file | diff | annotate |
| Thu, 26 Sep 2002 10:51:58 +0200 | paulson | new theory for Pi-sets, restrict, etc. | file | diff | annotate |