isabelle: Changelog

nipkow [Mon, 22 Jun 2009 20:59:12 +0200] rev 31754

tuned FuncSet

wenzelm [Mon, 22 Jun 2009 20:31:08 +0200] rev 31753

Lexicon: removed unused max_entry;

immler@in.tum.de [Mon, 22 Jun 2009 17:07:09 +0200] rev 31752

use results of relevance-filter to determine additional clauses; (needed for minimize to be able to prove the same problems as sledgehammer)

immler@in.tum.de [Mon, 22 Jun 2009 17:07:08 +0200] rev 31751

export proof when exporting problemfile

immler@in.tum.de [Mon, 22 Jun 2009 17:07:08 +0200] rev 31750

restructured external_prover

immler@in.tum.de [Mon, 22 Jun 2009 17:07:08 +0200] rev 31749

corrected comments

haftmann [Mon, 22 Jun 2009 14:25:22 +0200] rev 31748

adapted to number theory switch

haftmann [Mon, 22 Jun 2009 08:17:52 +0200] rev 31747

merged

haftmann [Sun, 21 Jun 2009 21:46:07 +0200] rev 31746

code equation observes default sort constraints for types

haftmann [Mon, 22 Jun 2009 08:00:46 +0200] rev 31745

merged

isabelle