2008-03-20 wenzelm [Thu, 20 Mar 2008 17:38:53 +0100] rev 26366
added pos_of_ref;
src/Pure/facts.ML

2008-03-20 wenzelm [Thu, 20 Mar 2008 16:54:11 +0100] rev 26365
fixed proof;
src/HOL/TLA/Memory/MemClerk.thy

2008-03-20 berghofe [Thu, 20 Mar 2008 16:28:23 +0100] rev 26364
Equivariance prover now uses permutation simprocs as well.
src/HOL/Nominal/nominal_inductive.ML

2008-03-20 wenzelm [Thu, 20 Mar 2008 16:04:34 +0100] rev 26363
export add/del_thm;
src/Pure/Tools/named_thms.ML

2008-03-20 wenzelm [Thu, 20 Mar 2008 16:04:32 +0100] rev 26362
added print_properties, print_position;
src/Pure/ML/ml_syntax.ML

2008-03-20 wenzelm [Thu, 20 Mar 2008 16:04:30 +0100] rev 26361
Facts.Named: include position;
src/Pure/Isar/attrib.ML src/Pure/Isar/find_theorems.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/proof_display.ML src/Pure/Isar/spec_parse.ML src/Pure/ML/ml_context.ML src/Pure/facts.ML src/Pure/pure_thy.ML

2008-03-20 haftmann [Thu, 20 Mar 2008 12:09:22 +0100] rev 26360
tuned proofs
src/HOL/W0/W0.thy

2008-03-20 haftmann [Thu, 20 Mar 2008 12:09:20 +0100] rev 26359
more antiquotations
src/HOL/Nominal/nominal_inductive.ML src/HOL/Nominal/nominal_package.ML src/HOL/TLA/Memory/MemClerk.thy src/HOL/Tools/datatype_realizer.ML src/HOL/Tools/datatype_rep_proofs.ML src/HOL/Tools/record_package.ML src/HOLCF/IOA/Storage/Correctness.thy src/HOLCF/IOA/meta_theory/Abstraction.thy src/HOLCF/IOA/meta_theory/Automata.thy src/HOLCF/IOA/meta_theory/CompoExecs.thy src/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOLCF/IOA/meta_theory/Compositionality.thy src/HOLCF/IOA/meta_theory/Deadlock.thy src/HOLCF/IOA/meta_theory/LiveIOA.thy src/HOLCF/IOA/meta_theory/RefCorrectness.thy src/HOLCF/IOA/meta_theory/RefMappings.thy src/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOLCF/IOA/meta_theory/SimCorrectness.thy src/HOLCF/IOA/meta_theory/TLS.thy src/HOLCF/IOA/meta_theory/Traces.thy

2008-03-20 haftmann [Thu, 20 Mar 2008 12:04:54 +0100] rev 26358
Product_Type.apfst and Product_Type.apsnd; mbind combinator; tuned
src/HOL/Product_Type.thy

2008-03-20 haftmann [Thu, 20 Mar 2008 12:04:53 +0100] rev 26357
added forward composition
src/HOL/Fun.thy