| Tue, 20 Feb 2001 10:37:12 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 20 Feb 2001 10:18:26 +0100 | nipkow | *** empty log message *** | changeset | files |
| Sat, 17 Feb 2001 10:43:53 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 16 Feb 2001 18:51:19 +0100 | paulson | fixed the obvious errors Tobias found | changeset | files |
| Fri, 16 Feb 2001 18:50:09 +0100 | paulson | Least_def now refers to LeastM | changeset | files |
| Fri, 16 Feb 2001 13:47:06 +0100 | paulson | for the change to LEAST | changeset | files |
| Fri, 16 Feb 2001 13:37:21 +0100 | paulson | Blast bug fix made old proof too slow | changeset | files |
| Fri, 16 Feb 2001 13:29:07 +0100 | paulson | Blast bug fix: now always duplicates when applying a haz rule, | changeset | files |
| Fri, 16 Feb 2001 13:27:56 +0100 | paulson | Blast bug fix made old proof too slow | changeset | files |
| Fri, 16 Feb 2001 13:25:08 +0100 | paulson | Streamlining for the bug fix in Blast. | changeset | files |
| Fri, 16 Feb 2001 08:27:17 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 16 Feb 2001 08:10:28 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 16 Feb 2001 06:46:20 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 16 Feb 2001 00:36:21 +0100 | wenzelm | tuned; | changeset | files |