src/HOL/AxClasses/Tutorial/Product.thy
changeset 2115 9709f9188549
parent 1247 18b1441fb603
child 8920 af5e09b6c208