src/HOL/GroupTheory/ROOT.ML
author paulson
Wed Apr 09 12:51:49 2003 +0200 (2003-04-09)
changeset 13906 eefdd6b14508
parent 13870 cf947d1ec5ff
child 13943 83d842ccd4aa
permissions -rw-r--r--
Removal of Summation theory
paulson@13583
     1
no_document use_thy "FuncSet";
paulson@11370
     2
paulson@13870
     3
use_thy "Bij";