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.
paulson@13550
     1
set timing;
schirmer@13337
     2
update_thy "AxExample";
schirmer@13337
     3
update_thy "AxSound";
schirmer@13337
     4
update_thy "AxCompl";
schirmer@13337
     5
update_thy "Trans";