isabelle: Changelog

clasohm [Thu, 11 Apr 1996 13:41:22 +0200] rev 1656

fixed bug in set_current_thy

nipkow [Thu, 11 Apr 1996 08:30:25 +0200] rev 1655

Added a number of lemmas

berghofe [Tue, 09 Apr 1996 12:12:27 +0200] rev 1654

select_match now sorts list of matching theorems according to the number of premises and size of the required substitution

nipkow [Thu, 04 Apr 1996 20:13:46 +0200] rev 1653

Replaced !simpset by HOL_ss on line 93.

paulson [Thu, 04 Apr 1996 18:18:48 +0200] rev 1652

Proved Inter_0 and converse_INT

paulson [Thu, 04 Apr 1996 18:18:08 +0200] rev 1651

deleted obsolete comment

nipkow [Thu, 04 Apr 1996 18:01:47 +0200] rev 1650

Added 'constdefs'

nipkow [Thu, 04 Apr 1996 18:01:26 +0200] rev 1649

Added 'constdefs' and extended the section on 'defs'

nipkow [Thu, 04 Apr 1996 17:31:37 +0200] rev 1648

Messed up last update.

nipkow [Thu, 04 Apr 1996 17:27:08 +0200] rev 1647

Replaced \CHOL by \HOLCF

isabelle