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
     1 no_document use_thy "FuncSet";
     2 
     3 use_thy "Bij";