| Fri, 10 Mar 2000 01:13:37 +0100 | wenzelm | type descr; | changeset | files |
| Thu, 09 Mar 2000 22:58:23 +0100 | wenzelm | check_case: disallow (T)Vars in invoked case; | changeset | files |
| Thu, 09 Mar 2000 22:57:39 +0100 | wenzelm | quote tag arguments; | changeset | files |
| Thu, 09 Mar 2000 22:57:13 +0100 | wenzelm | more robust case names of induct; | changeset | files |
| Thu, 09 Mar 2000 22:56:40 +0100 | wenzelm | cleaned comment; | changeset | files |
| Thu, 09 Mar 2000 18:27:18 +0100 | paulson | nicely tarted up Mutil | changeset | files |
| Thu, 09 Mar 2000 17:27:54 +0100 | wenzelm | renamed to rsync-isabelle; | changeset | files |
| Thu, 09 Mar 2000 17:25:28 +0100 | wenzelm | tuned; | changeset | files |