isabelle: Changelog

wenzelm [Wed, 13 Jan 1999 12:44:33 +0100] rev 6116

files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;

nipkow [Wed, 13 Jan 1999 12:16:34 +0100] rev 6115

Refined arithmetic.

paulson [Wed, 13 Jan 1999 12:08:51 +0100] rev 6114

congruence rules finally use == instead of = and <->

paulson [Wed, 13 Jan 1999 12:08:18 +0100] rev 6113

generalized qed_spec_mp code to work for ZF

paulson [Wed, 13 Jan 1999 11:57:09 +0100] rev 6112

datatype package improvements

paulson [Wed, 13 Jan 1999 11:56:28 +0100] rev 6111

better qed_spec_mp

nipkow [Wed, 13 Jan 1999 08:41:59 +0100] rev 6110

Simplified interface.

nipkow [Wed, 13 Jan 1999 08:41:28 +0100] rev 6109

Simplified arithmetic.

wenzelm [Tue, 12 Jan 1999 17:19:53 +0100] rev 6108

'same' method, 'immediate' proof;

wenzelm [Tue, 12 Jan 1999 17:19:13 +0100] rev 6107

tuned msg;

isabelle