| Mon, 23 May 2005 23:24:38 +0200 | huffman | moved continuity simproc to Cont.thy | changeset | files |
| Mon, 23 May 2005 23:01:27 +0200 | huffman | moved theorem cont2cont_CF1L_rev2 to Cont.thy | changeset | files |
| Mon, 23 May 2005 19:39:45 +0200 | nipkow | tuned setsum rewrites | changeset | files |
| Mon, 23 May 2005 19:14:16 +0200 | wenzelm | * Pure/Syntax: In schematic variable names, *any* symbol following | changeset | files |
| Mon, 23 May 2005 17:17:06 +0200 | webertj | interpreters for lfp/gfp added | changeset | files |
| Mon, 23 May 2005 16:57:02 +0200 | wenzelm | obsolete; | changeset | files |