isabelle: Changelog

paulson [Thu, 29 Jul 2004 12:15:53 +0200] rev 15083

documents for ZF-AC and ZF-Constructible

paulson [Wed, 28 Jul 2004 16:26:27 +0200] rev 15082

conversion of SEQ.ML to Isar script

paulson [Wed, 28 Jul 2004 16:25:40 +0200] rev 15081

abs notation

paulson [Wed, 28 Jul 2004 16:25:28 +0200] rev 15080

fixed precedences

paulson [Wed, 28 Jul 2004 10:49:29 +0200] rev 15079

conversion of Hyperreal/MacLaurin_lemmas to Isar script

ballarin [Tue, 27 Jul 2004 15:39:59 +0200] rev 15078

*** empty log message ***

paulson [Mon, 26 Jul 2004 17:34:52 +0200] rev 15077

converting Hyperreal/Transcendental to Isar script

ballarin [Mon, 26 Jul 2004 15:48:50 +0200] rev 15076

New prover for transitive and reflexive-transitive closure of relations. - Code in Provers/trancl.ML - HOL: Simplifier set up to use it as solver

webertj [Thu, 22 Jul 2004 19:33:12 +0200] rev 15075

minor formatting fixes

nipkow [Thu, 22 Jul 2004 17:37:31 +0200] rev 15074

Modified \<Sum> syntax a little.

isabelle