src/HOL/TLA/Buffer/ROOT.ML
author wenzelm
Wed Sep 07 20:22:39 2005 +0200 (2005-09-07)
changeset 17309 c43ed29bd197
parent 9000 c20d58286a51
child 33615 261abc2e3155
permissions -rw-r--r--
converted to Isar theory format;
wenzelm@17309
     1
wenzelm@17309
     2
(* $Id$ *)
wenzelm@3823
     3
wenzelm@9000
     4
time_use_thy "DBuffer";