isabelle: Changelog

paulson [Fri, 28 Jun 1996 11:13:07 +0200] rev 1836

Added type-checking to rule "combination". This corrects a fault concerning soundness. See Jeremy Dawsons message of 27 Jun 1996 on isabelle-users

paulson [Fri, 28 Jun 1996 11:10:32 +0200] rev 1835

Restored warning comment

oheimb [Thu, 27 Jun 1996 15:24:17 +0200] rev 1834

re-added when_funs to library.ML

oheimb [Thu, 27 Jun 1996 15:19:50 +0200] rev 1833

patches for Holcfb.thy removed

oheimb [Thu, 27 Jun 1996 12:53:08 +0200] rev 1832

removed old version of LEAST operator

oheimb [Wed, 26 Jun 1996 17:50:10 +0200] rev 1831

repaired 8bit pragma

oheimb [Wed, 26 Jun 1996 17:45:32 +0200] rev 1830

adapted path to 8bit package

oheimb [Wed, 26 Jun 1996 17:38:34 +0200] rev 1829

function names in when_rews now meta-quantified

oheimb [Wed, 26 Jun 1996 17:37:34 +0200] rev 1828

when_funs removed

oheimb [Tue, 25 Jun 1996 18:01:37 +0200] rev 1827

*** empty log message ***

isabelle