Fri, 18 Apr 1997 11:52:19 +0200 | paulson | New theory: a corecursive filter functional | changeset | files |
Fri, 18 Apr 1997 11:48:16 +0200 | paulson | Removed needless parentheses from translation | changeset | files |
Fri, 18 Apr 1997 11:47:36 +0200 | paulson | ex/LFilter is a new theory (and dependency) | changeset | files |
Fri, 18 Apr 1997 11:47:11 +0200 | paulson | Automatic update | changeset | files |
Thu, 17 Apr 1997 19:05:01 +0200 | wenzelm | tuned error msgs; | changeset | files |
Thu, 17 Apr 1997 18:46:58 +0200 | wenzelm | improved type check error messages; | changeset | files |
Thu, 17 Apr 1997 18:45:43 +0200 | wenzelm | renamed set_ap to setmp; | changeset | files |