src/HOL/SET_Protocol/ROOT.ML
author haftmann
Tue, 28 Sep 2010 12:47:55 +0200
changeset 39757 21423597a80d
parent 35705 0e5251adb9cc
child 41413 64cd30d6b0b8
permissions -rw-r--r--
modernized session


no_document use_thys ["Nat_Bijection"];
use_thys ["SET_Protocol"];