| Wed, 06 Aug 1997 00:06:47 +0200 | berghofe | Source files for Isabelle theory graph browser. | changeset | files |
| Wed, 06 Aug 1997 00:04:53 +0200 | berghofe | Makefile for GraphBrowser | changeset | files |
| Tue, 05 Aug 1997 17:26:01 +0200 | wenzelm | added getenv; | changeset | files |
| Tue, 05 Aug 1997 17:21:24 +0200 | wenzelm | removed smlnj-1.07; | changeset | files |
| Tue, 05 Aug 1997 17:03:11 +0200 | wenzelm | cleaned up; | changeset | files |
| Tue, 05 Aug 1997 17:02:50 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 05 Aug 1997 17:01:02 +0200 | wenzelm | removed ML-Systems/smlnj-1.07.ML; | changeset | files |
| Tue, 05 Aug 1997 16:44:46 +0200 | wenzelm | SML/NJ 1.07 no longer supported! | changeset | files |
| Tue, 05 Aug 1997 16:43:54 +0200 | wenzelm | cleaned up; | changeset | files |
| Tue, 05 Aug 1997 16:22:17 +0200 | nipkow | Added example mapf which requires a special congruence rule. | changeset | files |
| Tue, 05 Aug 1997 16:21:45 +0200 | nipkow | Added function `replicate' and lemmas map_cong and set_replicate. | changeset | files |
| Tue, 05 Aug 1997 16:14:23 +0200 | wenzelm | cleaned up; | changeset | files |
| Tue, 05 Aug 1997 10:50:24 +0200 | paulson | Corrected a comment | changeset | files |
| Mon, 04 Aug 1997 11:50:35 +0200 | nipkow | Added a take/dropWhile lemma. | changeset | files |
| Fri, 01 Aug 1997 10:59:19 +0200 | nipkow | Generalized nth_drop (Conny). | changeset | files |
| Fri, 01 Aug 1997 09:42:19 +0200 | nipkow | Corected bug in def of dropWhile (also present in Haskell lib!) | changeset | files |