isabelle: Changelog

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;

wenzelm [Sat, 20 Jan 2007 14:09:27 +0100] rev 22139

tuned ML setup;

wenzelm [Sat, 20 Jan 2007 14:09:23 +0100] rev 22138

* ML within Isar: antiquotations;

wenzelm [Sat, 20 Jan 2007 14:09:22 +0100] rev 22137

added @{theory};

wenzelm [Sat, 20 Jan 2007 14:09:21 +0100] rev 22136

added the_context_finished; eval_wrapper: Output.debug; simplified antiq signatures; added basic antiquotations; tuned;

wenzelm [Sat, 20 Jan 2007 14:09:20 +0100] rev 22135

Toplevel.debug: coincide with Output.debugging;

wenzelm [Sat, 20 Jan 2007 14:09:19 +0100] rev 22134

ML tactic: proper context for compile and runtime;

isabelle