Wed, 11 Oct 2000 09:09:06 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | file | diff | annotate |
Wed, 26 Jul 2000 19:43:28 +0200 | nipkow | While functional for defining tail-recursive functions | file | diff | annotate |