Changes

Summary

clarified README; avoid odd patching of sources;
more standard header, with utf-8 encoding;
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
merged
new automatic order prover: stateless, complete, verified

Changeset 73530:89cf7c903aca by wenzelm: clarified README;<br>avoid odd patching of sources;
The file was modified	`README` (diff)
The file was modified	`src/Pure/Admin/build_release.scala` (diff)
Changeset 73529:cf1a1e92bf34 by wenzelm: more standard header, with utf-8 encoding;
The file was modified	`src/Pure/Thy/presentation.scala` (diff)
Changeset 73528:c337c798f64c by wenzelm: clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
The file was modified	`src/Pure/Admin/build_release.scala` (diff)
The file was modified	`src/Pure/PIDE/xml.scala` (diff)
The file was modified	`src/Pure/Thy/presentation.scala` (diff)
The file was removed	`lib/html/library_index_content.template`
The file was removed	`lib/html/library_index_footer.template`
The file was removed	`lib/html/library_index_header.template`
Changeset 73527:c72fd8f1fceb by nipkow: merged
Changeset 73526:a3cc9fa1295d by nipkow: new automatic order prover: stateless, complete, verified
The file was added	`src/Provers/order_procedure.ML`
The file was added	`src/Provers/order_tac.ML`
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`src/HOL/Analysis/Interval_Integral.thy` (diff)
The file was modified	`src/HOL/Data_Structures/Brother12_Map.thy` (diff)
The file was modified	`src/HOL/Data_Structures/Brother12_Set.thy` (diff)
The file was modified	`src/HOL/Data_Structures/Selection.thy` (diff)
The file was modified	`src/HOL/Data_Structures/Set2_Join.thy` (diff)
The file was modified	`src/HOL/Library/RBT_Impl.thy` (diff)
The file was modified	`src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy` (diff)
The file was modified	`src/HOL/Orderings.thy` (diff)
The file was removed	`src/Provers/order.ML`