| Tue, 18 Mar 2003 17:55:54 +0100 | nipkow | toggled show_main_goal | changeset | files |
| Tue, 18 Mar 2003 17:54:27 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 17 Mar 2003 18:38:50 +0100 | nipkow | just a few mods to a few thms | changeset | files |
| Mon, 17 Mar 2003 17:37:48 +0100 | paulson | More "progress set" material | changeset | files |
| Mon, 17 Mar 2003 17:37:20 +0100 | paulson | moved one proof, added another | changeset | files |
| Fri, 14 Mar 2003 18:00:16 +0100 | ballarin | Bugs fixed and operators finprod and finsum. | changeset | files |
| Fri, 14 Mar 2003 12:03:23 +0100 | kleing | more about list_all2 | changeset | files |
| Fri, 14 Mar 2003 12:02:14 +0100 | kleing | fix for changes in HOL/Hoare/ | changeset | files |
| Fri, 14 Mar 2003 10:30:46 +0100 | paulson | Proved the main lemma on progress sets | changeset | files |
| Fri, 14 Mar 2003 10:30:15 +0100 | paulson | new UN/INT simprules | changeset | files |
| Thu, 13 Mar 2003 18:54:38 +0100 | berghofe | split_name no longer uses Sign.string_of_typ to encode types, since | changeset | files |
| Tue, 11 Mar 2003 15:19:27 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 11 Mar 2003 15:04:24 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 11 Mar 2003 15:04:24 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 11 Mar 2003 14:13:20 +0100 | berghofe | addsplits / delsplits no longer ignore type of constant. | changeset | files |
| Mon, 10 Mar 2003 17:25:34 +0100 | ballarin | First distributed version of Group and Ring theory. | changeset | files |
| Mon, 10 Mar 2003 16:21:06 +0100 | paulson | New theory ProgressSets. Definition of closure sets | changeset | files |
| Mon, 10 Mar 2003 12:53:27 +0100 | paulson | spelling | changeset | files |
| Thu, 06 Mar 2003 15:08:38 +0100 | paulson | new UNITY examples theory | changeset | files |
| Thu, 06 Mar 2003 15:03:16 +0100 | paulson | new logical equivalences | changeset | files |
| Thu, 06 Mar 2003 15:02:51 +0100 | paulson | new simprule for int (nat n) | changeset | files |
| Thu, 06 Mar 2003 12:22:28 +0100 | kleing | link to devel snapshot | changeset | files |
| Thu, 06 Mar 2003 12:22:09 +0100 | kleing | obsolete | changeset | files |
| Wed, 05 Mar 2003 16:03:33 +0100 | paulson | new examples theory | changeset | files |
| Sun, 02 Mar 2003 10:32:51 +0100 | kleing | get cvs to change modified time for session.tex | changeset | files |
| Sat, 01 Mar 2003 19:34:54 +0100 | kleing | typo | changeset | files |
| Sat, 01 Mar 2003 19:19:47 +0100 | kleing | added exercises | changeset | files |
| Sat, 01 Mar 2003 16:59:41 +0100 | kleing | added Exercises | changeset | files |
| Sat, 01 Mar 2003 16:57:32 +0100 | kleing | keep a copy of generated files in repository | changeset | files |
| Sat, 01 Mar 2003 16:45:51 +0100 | kleing | keep a copy of generated files in repository | changeset | files |
| Fri, 28 Feb 2003 14:25:22 +0100 | isatest | generate nightly devel snapshot | changeset | files |
| Fri, 28 Feb 2003 14:11:54 +0100 | isatest | case distinction on host for makefile flags | changeset | files |