nipkow [Fri, 17 Mar 1995 15:49:37 +0100] rev 962
Added a few thms to nat_ss and list_ss
regensbu [Fri, 17 Mar 1995 15:35:09 +0100] rev 961
Removed bugs which occurred due to new generation mechanism for type variables
lcp [Thu, 16 Mar 1995 00:00:30 +0100] rev 960
Removed exception handlers, as they are now in ZF/Makefile.
clasohm [Wed, 15 Mar 1995 12:52:03 +0100] rev 959
removed print_msg parameter of infer_types
lcp [Wed, 15 Mar 1995 11:25:24 +0100] rev 958
Now mentions Coind
lcp [Wed, 15 Mar 1995 11:01:08 +0100] rev 957
Removed exception handlers, as they are now in ZF/Makefile.
lcp [Wed, 15 Mar 1995 10:59:20 +0100] rev 956
Now calls exit_use instead of use, for prompt failure if errors are detected.
lcp [Wed, 15 Mar 1995 10:56:39 +0100] rev 955
Declares the function exit_use to behave like use but fail if
errors are detected. It can be used in all Makefiles except Pure, which will
write the exception handler explicitly ("exit" will have been declared
already).
lcp [Wed, 15 Mar 1995 10:53:58 +0100] rev 954
Now the "use" call has an exception handler, for prompt failure
if errors are detected.
lcp [Wed, 15 Mar 1995 10:34:47 +0100] rev 953
Now calls exit_use instead of use, for prompt failure if errors are detected.