added swap_params;
authorwenzelm
Mon Apr 07 21:25:21 2008 +0200 (2008-04-07)
changeset 26570dbc458262f4c
parent 26569 4d77568cdb28
child 26571 114da911bc41
added swap_params;
src/Pure/Pure.thy
     1.1 --- a/src/Pure/Pure.thy	Mon Apr 07 21:25:20 2008 +0200
     1.2 +++ b/src/Pure/Pure.thy	Mon Apr 07 21:25:21 2008 +0200
     1.3 @@ -20,6 +20,9 @@
     1.4  
     1.5  lemmas meta_allE = meta_spec [elim_format]
     1.6  
     1.7 +lemma swap_params:
     1.8 +  "(\<And>x y. PROP P(x, y)) == (\<And>y x. PROP P(x, y))" ..
     1.9 +
    1.10  
    1.11  subsection {* Embedded terms *}
    1.12