| Tue, 27 Jan 2004 15:39:51 +0100 | paulson | replacing HOL/Real/PRat, PNat by the rational number development | file | diff | annotate |
| Mon, 15 Sep 2003 17:15:00 +0200 | nipkow | Mod due to new thm in Map. | file | diff | annotate |
| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Tue, 02 Apr 2002 13:47:01 +0200 | nipkow | Started to convert to locales | file | diff | annotate |
| Sun, 24 Mar 2002 14:06:21 +0100 | kleing | cleanup + simpler monotonicity | file | diff | annotate |
| Wed, 20 Mar 2002 13:21:07 +0100 | kleing | small refactoring for lbv with semilattices | file | diff | annotate |
| Sun, 03 Mar 2002 16:59:08 +0100 | kleing | symbolized | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |
| Sun, 16 Dec 2001 00:17:44 +0100 | kleing | exceptions | file | diff | annotate |
| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| Wed, 16 May 2001 12:31:25 +0200 | nipkow | welltyping -> wt_step | file | diff | annotate |
| Mon, 14 May 2001 09:58:22 +0200 | nipkow | simplified defs and proofs a little | file | diff | annotate |
| Wed, 28 Mar 2001 13:40:06 +0200 | nipkow | Got rid of is_dfa | file | diff | annotate |
| Tue, 27 Feb 2001 12:28:42 +0100 | nipkow | kildall now via while and therefore executable! | file | diff | annotate |
| Thu, 22 Feb 2001 10:18:41 +0100 | nipkow | recoded function iter with the help of the while-combinator. | file | diff | annotate |
| Wed, 03 Jan 2001 21:24:29 +0100 | wenzelm | recdef_tc; | file | diff | annotate |
| Wed, 13 Dec 2000 11:24:48 +0100 | kleing | fixed iter_wf proof | file | diff | annotate |
| Tue, 05 Dec 2000 14:08:56 +0100 | kleing | BCV Integration | file | diff | annotate |
| Mon, 20 Nov 2000 16:37:42 +0100 | kleing | BCV integration (first step) | file | diff | annotate |