isabelle: Changelog

wenzelm [Wed, 18 Oct 2000 23:35:08 +0200] rev 10256

moved to HOL/LIbrary;

wenzelm [Wed, 18 Oct 2000 23:33:04 +0200] rev 10255

added HOL/Library, rearranged several files;

wenzelm [Wed, 18 Oct 2000 23:32:19 +0200] rev 10254

moved to HOL/Library;

wenzelm [Wed, 18 Oct 2000 23:31:16 +0200] rev 10253

"The Supplemental Isabelle/HOL Library";

wenzelm [Wed, 18 Oct 2000 23:30:48 +0200] rev 10252

added path_add;

wenzelm [Wed, 18 Oct 2000 23:29:49 +0200] rev 10251

A general ``while'' combinator (from main HOL);

wenzelm [Wed, 18 Oct 2000 23:29:13 +0200] rev 10250

Quotient types;

wenzelm [Wed, 18 Oct 2000 23:28:33 +0200] rev 10249

Multisets (from HOL/Induct/Multiset and friends);

wenzelm [Wed, 18 Oct 2000 23:28:02 +0200] rev 10248

The accessible part of a relation (from HOL/Induct/Acc);

wenzelm [Wed, 18 Oct 2000 23:27:16 +0200] rev 10247

\isabellecontext: output_syms;

isabelle