isabelle: Changelog

paulson [Tue, 19 Aug 2003 13:54:20 +0200] rev 14153

new case_tac

paulson [Tue, 19 Aug 2003 13:53:58 +0200] rev 14152

For the Isar version of the ZF logics manual

paulson [Fri, 15 Aug 2003 13:45:39 +0200] rev 14151

converting ex/If to Isar script

paulson [Fri, 15 Aug 2003 13:07:01 +0200] rev 14150

A document for UNITY

paulson [Wed, 13 Aug 2003 17:44:42 +0200] rev 14149

reformatting change and mention of Introduction to Isabelle

paulson [Wed, 13 Aug 2003 17:44:01 +0200] rev 14148

corrections by Viktor Kuncak and minor updating

paulson [Wed, 13 Aug 2003 17:24:59 +0200] rev 14147

added tutorial

paulson [Wed, 13 Aug 2003 12:28:53 +0200] rev 14146

possibility proof!

paulson [Tue, 12 Aug 2003 13:35:03 +0200] rev 14145

ZhouGollmann: new example (fair non-repudiation protocol)

streckem [Fri, 08 Aug 2003 15:05:11 +0200] rev 14144

added lemma c_hupd_fst

isabelle