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 |