src/HOL/Bali/ROOT.ML
author berghofe
Mon Sep 30 16:14:02 2002 +0200 (2002-09-30)
changeset 13601 fd3e3d6b37b2
parent 13550 5a176b8dda84
child 14030 cd928c0ac225
permissions -rw-r--r--
Adapted to new simplifier.
     1 set timing;
     2 update_thy "AxExample";
     3 update_thy "AxSound";
     4 update_thy "AxCompl";
     5 update_thy "Trans";