isabelle: Changelog

lcp [Thu, 06 Apr 1995 11:09:15 +0200] rev 1007

Corrected many errors in the dependencies.

lcp [Thu, 06 Apr 1995 11:07:18 +0200] rev 1006

Changed comments and timings.

lcp [Thu, 06 Apr 1995 11:04:37 +0200] rev 1005

Updated comments.

lcp [Thu, 06 Apr 1995 11:02:55 +0200] rev 1004

Set up for new hyp_subst_tac.

lcp [Thu, 06 Apr 1995 11:01:13 +0200] rev 1003

Added Id: line

lcp [Thu, 06 Apr 1995 10:58:56 +0200] rev 1002

Fixed typo.

lcp [Thu, 06 Apr 1995 10:56:39 +0200] rev 1001

Simplified some proofs and made them work for new hyp_subst_tac.

lcp [Thu, 06 Apr 1995 10:55:06 +0200] rev 1000

Now sets loadpath.

lcp [Thu, 06 Apr 1995 10:53:21 +0200] rev 999

Gave tighter priorities to SUM and PROD to reduce ambiguities.

lcp [Thu, 06 Apr 1995 10:51:42 +0200] rev 998

Gave tighter priorities to if, napply and the let-forms to reduce ambiguities.

isabelle