isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

NEWS

2008-06-03	wenzelm	some reorganization and fine-tuning;	file \| diff \| annotate
2008-06-02	wenzelm	reorganized isar-ref;	file \| diff \| annotate
2008-05-28	wenzelm	misc tuning for Isabelle2008;	file \| diff \| annotate
2008-05-21	berghofe	Added entry explaining incompatibilities introduced by replacing sets by predicates.	file \| diff \| annotate
2008-05-18	wenzelm	* Eliminated theory ProtoPure and CPure, leaving just one Pure theory.	file \| diff \| annotate
2008-05-16	wenzelm	* Method "cases", "induct", "coinduct": removed obsolete "(open)" option;	file \| diff \| annotate
2008-05-15	wenzelm	tuned;	file \| diff \| annotate
2008-05-15	wenzelm	* Simplified pdfsetup.sty;	file \| diff \| annotate
2008-05-13	krauss	NEWS about measure functions	file \| diff \| annotate
2008-05-12	wenzelm	misc tuning;	file \| diff \| annotate
2008-05-02	ballarin	unfold_locales part of default method.	file \| diff \| annotate
2008-04-29	haftmann	added lemma antiquotation	file \| diff \| annotate
2008-04-25	krauss	Merged theories about wellfoundedness into one: Wellfounded.thy	file \| diff \| annotate
2008-04-19	wenzelm	NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;	file \| diff \| annotate
2008-04-17	wenzelm	* Context-dependent token translations.	file \| diff \| annotate
2008-04-16	berghofe	Added entry for unused_thms command.	file \| diff \| annotate
2008-04-15	wenzelm	added hide fact;	file \| diff \| annotate
2008-04-15	wenzelm	tuned;	file \| diff \| annotate
2008-04-15	wenzelm	* Name space merge now observes canonical order;	file \| diff \| annotate
2008-04-08	wenzelm	support for YXML notation -- XML done right;	file \| diff \| annotate
2008-04-07	paulson	* Metis: the maximum number of clauses that can be produced from a theorem is now given by the attribute max_clauses. Theorems that exceed this number are ignored, with a warning printed.	file \| diff \| annotate
2008-04-02	haftmann	explicit class "eq" for operational equality	file \| diff \| annotate
2008-03-30	nipkow	* empty log message *	file \| diff \| annotate
2008-03-29	wenzelm	purely functional setup of claset/simpset/clasimpset;	file \| diff \| annotate
2008-03-29	wenzelm	fixed spelling;	file \| diff \| annotate
2008-03-29	wenzelm	* Eliminated destructive theorem database.	file \| diff \| annotate
2008-03-27	haftmann	explicit case names for rule list_induct2	file \| diff \| annotate
2008-03-27	wenzelm	Command 'setup': discontinued implicit version.	file \| diff \| annotate
2008-03-27	wenzelm	HOL (and FOL): renamed variables in rules imp_elim and swap;	file \| diff \| annotate
2008-03-25	wenzelm	Functor NamedThmsFun: data is available to the user as dynamic fact;	file \| diff \| annotate

less more (0) -1000 -300 -100 -50 -30 tip

isabelle

RSS Atom