isabelle: Changelog

wenzelm [Sun, 21 Jan 2007 16:46:06 +0100] rev 22149

*** MESSAGE REFERS TO PREVIOUS VERSION *** removed is_finished_thy;

wenzelm [Sun, 21 Jan 2007 16:43:47 +0100] rev 22148

tuned comments

wenzelm [Sun, 21 Jan 2007 16:43:46 +0100] rev 22147

simplified ML setup;

wenzelm [Sun, 21 Jan 2007 16:43:45 +0100] rev 22146

use_text: added name argument; moved File.use to ML_Context.use; removed the_context_finished;

wenzelm [Sun, 21 Jan 2007 16:43:44 +0100] rev 22145

moved File.use to ML_Context.use;

wenzelm [Sun, 21 Jan 2007 16:43:42 +0100] rev 22144

use_text: added name argument;

nipkow [Sun, 21 Jan 2007 13:27:41 +0100] rev 22143

Added simproc list_neq (prompted by an application)

nipkow [Sun, 21 Jan 2007 13:26:44 +0100] rev 22142

Added lists-as-multisets functions

wenzelm [Sat, 20 Jan 2007 14:27:46 +0100] rev 22141

Simple and efficient binary numerals.

wenzelm [Sat, 20 Jan 2007 14:27:45 +0100] rev 22140

added HOL/ex/Binary.thy;

isabelle