| Thu, 10 Feb 2005 13:01:46 +0100 | paulson | simplified a key lemma for foldSet | changeset | files |
| Thu, 10 Feb 2005 12:06:40 +0100 | ballarin | Toplevel.debug for debugging in Isar. | changeset | files |
| Thu, 10 Feb 2005 11:19:03 +0100 | berghofe | Fixed bug in select_thm. | changeset | files |
| Thu, 10 Feb 2005 10:43:57 +0100 | berghofe | Subscripts for theorem lists now start at 1. | changeset | files |
| Thu, 10 Feb 2005 08:25:22 +0100 | kleing | mention authors are acknowledged for isabelle-lemmas | changeset | files |
| Thu, 10 Feb 2005 08:21:40 +0100 | kleing | more preview | changeset | files |
| Thu, 10 Feb 2005 07:47:06 +0100 | kleing | pointer to isabelle-lemmas submission list | changeset | files |
| Wed, 09 Feb 2005 18:51:02 +0100 | nipkow | added lattice_locales | changeset | files |
| Wed, 09 Feb 2005 18:50:09 +0100 | nipkow | Extracted generic lattice stuff to new Lattice_Locales.thy | changeset | files |
| Wed, 09 Feb 2005 18:49:29 +0100 | nipkow | New | changeset | files |
| Wed, 09 Feb 2005 18:32:28 +0100 | paulson | new foldSet proofs | changeset | files |
| Wed, 09 Feb 2005 12:08:46 +0100 | paulson | revised fold1 proofs | changeset | files |
| Wed, 09 Feb 2005 10:17:09 +0100 | paulson | revised fold1 proofs | changeset | files |
| Tue, 08 Feb 2005 18:32:34 +0100 | nipkow | cvs merge problem fixed | changeset | files |
| Tue, 08 Feb 2005 15:11:30 +0100 | paulson | new treatment of fold1 | changeset | files |
| Tue, 08 Feb 2005 09:46:00 +0100 | nipkow | Fixed lattice defns | changeset | files |
| Mon, 07 Feb 2005 18:20:46 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 07 Feb 2005 08:02:49 +0100 | nipkow | fixed latex problems by including bigsqcap | changeset | files |
| Mon, 07 Feb 2005 08:02:14 +0100 | nipkow | fixed latex problems | changeset | files |
| Sun, 06 Feb 2005 13:12:32 +0100 | paulson | fixed mac line | changeset | files |
| Sat, 05 Feb 2005 19:24:11 +0100 | nipkow | Added Lattice locale | changeset | files |
| Fri, 04 Feb 2005 18:35:46 +0100 | paulson | clausification and proof reconstruction | changeset | files |
| Fri, 04 Feb 2005 18:34:34 +0100 | paulson | comment | changeset | files |
| Fri, 04 Feb 2005 17:14:42 +0100 | nipkow | Added semi-lattice locales and reorganized fold1 lemmas | changeset | files |
| Thu, 03 Feb 2005 16:45:59 +0100 | nipkow | added find_rewrites | changeset | files |
| Thu, 03 Feb 2005 16:06:19 +0100 | paulson | new treatment of demodulation in proof reconstruction | changeset | files |
| Thu, 03 Feb 2005 04:09:52 +0100 | kleing | don't generate latex for LaTeXsugar and OptionalSugar | changeset | files |
| Thu, 03 Feb 2005 03:56:11 +0100 | kleing | removed sugar.sty (obsolete for devel version) | changeset | files |