All Rewrite Rules - Revision history

imported>Laurent: Add Empty Set Rewrite Rules

2013-04-26T13:29:58Z

Add Empty Set Rewrite Rules

2010-09-10T12:56:20Z

FIxed link to Extension Proof Rules

2010-09-03T17:12:07Z

added section for extension rewrite rules

2010-08-04T16:37:11Z

CAUTION! Any modification to this page shall be announced on the User mailing list!

← Older revision		Revision as of 16:37, 4 August 2010
Line 1:		Line 1:
			<font color=red>CAUTION! Any modification to this page shall be announced on the [[#Mailing_lists \|User]] mailing list!</font>

	This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in their respective location (for editing purposes):		This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in their respective location (for editing purposes):

2010-01-08T13:45:22Z

Moved links for edition before each table.

← Older revision		Revision as of 13:45, 8 January 2010
Line 1:		Line 1:
	This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in ~~the following locations~~ (for editing purposes):		This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in their respective location (for editing purposes):
	* [[Set Rewrite Rules]]
	* [[Relation Rewrite Rules]]
	* [[Arithmetic Rewrite Rules]]

	Conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_rules]]		Conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_rules]]

			==[[Set Rewrite Rules]]==
	{{:Set Rewrite Rules}}		{{:Set Rewrite Rules}}

			==[[Relation Rewrite Rules]]==
	{{:Relation Rewrite Rules}}		{{:Relation Rewrite Rules}}

			==[[Arithmetic Rewrite Rules]]==
	{{:Arithmetic Rewrite Rules}}		{{:Arithmetic Rewrite Rules}}

2009-02-11T16:15:16Z

← Older revision		Revision as of 16:15, 11 February 2009
Line 3:		Line 3:
	* [[Relation Rewrite Rules]]		* [[Relation Rewrite Rules]]
	* [[Arithmetic Rewrite Rules]]		* [[Arithmetic Rewrite Rules]]

			Conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_rules]]

	{{:Set Rewrite Rules}}		{{:Set Rewrite Rules}}

2009-02-11T16:10:08Z

Added header

← Older revision		Revision as of 16:10, 11 February 2009
Line 1:		Line 1:
			This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in the following locations (for editing purposes):
			* [[Set Rewrite Rules]]
			* [[Relation Rewrite Rules]]
			* [[Arithmetic Rewrite Rules]]

	{{:Set Rewrite Rules}}		{{:Set Rewrite Rules}}

2009-01-29T15:39:20Z

New page: {{:Set Rewrite Rules}} {{:Relation Rewrite Rules}} {{:Arithmetic Rewrite Rules}}

New page