isabelle: Changelog

paulson [Tue, 19 Aug 2003 18:45:48 +0200] rev 14154

partial conversion to Isar format

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)

isabelle