merged
authorchaieb
Thu Jul 09 08:55:42 2009 +0200 (2009-07-09)
changeset 3196781dbc693143b
parent 31962 baa8dce5bc45
parent 31966 a509e4d7abea
child 31968 0314441a53a6
merged
src/HOL/Library/Abstract_Rat.thy