src/HOL/Bali/ROOT.ML
author paulson
Fri, 30 Aug 2002 16:42:45 +0200
changeset 13550 5a176b8dda84
parent 13337 f75dfc606ac7
child 14030 cd928c0ac225
permissions -rw-r--r--
removal of blast.overloaded

set timing;
update_thy "AxExample";
update_thy "AxSound";
update_thy "AxCompl";
update_thy "Trans";