doc-src/IsarRef/Thy/HOL_Specific.thy
changeset 27041 22dcf2fc0aa2
parent 26985 51c5acd57b75
child 27045 4e7ecec1b685
     1.1 --- a/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 02 22:50:23 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/HOL_Specific.thy	Mon Jun 02 22:50:27 2008 +0200
     1.3 @@ -1140,4 +1140,3 @@
     1.4  *}
     1.5  
     1.6  end
     1.7 -