| Tue, 06 Jul 1999 21:09:23 +0200 | wenzelm | added Numeral.thy; | file | diff | annotate |
| Fri, 16 Apr 1999 14:49:34 +0200 | wenzelm | added Tools/induct_method.ML; | file | diff | annotate |
| Wed, 14 Apr 1999 19:07:04 +0200 | wenzelm | Tools/inductive_package.ML; | file | diff | annotate |
| Wed, 17 Mar 1999 16:45:53 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Mon, 08 Feb 1999 17:30:22 +0100 | wenzelm | ~~; | file | diff | annotate |
| Fri, 27 Nov 1998 17:00:30 +0100 | nipkow | At last: linear arithmetic for nat! | file | diff | annotate |
| Tue, 20 Oct 1998 16:39:14 +0200 | wenzelm | split_paired_all.ML; | file | diff | annotate |
| Fri, 02 Oct 1998 10:43:08 +0200 | paulson | new file Provers/Arith/abel_cancel.ML | file | diff | annotate |
| Fri, 25 Sep 1998 12:12:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 18 Sep 1998 14:39:51 +0200 | paulson | new files in Integ | file | diff | annotate |
| Wed, 02 Sep 1998 16:52:06 +0200 | nipkow | Added function upto to List. | file | diff | annotate |
| Wed, 12 Aug 1998 15:38:34 +0200 | oheimb | removed use_thys implied by use_thy "Main" | file | diff | annotate |
| Thu, 30 Jul 1998 19:02:52 +0200 | wenzelm | functorized Clasimp module; | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |