--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/iall	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,26 @@
+/*
+ Copyright (C) 1988, Shinji Kono 
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license, but changing it is not allowed.  You can also
+ use this wording to make the terms for other programs.
+
+ send your comments to kono@mtl.u-tokyo.ac.jp
+*/
+assert(dynamic(X)).
+
+?- nl,consult('ts.pl'),
+   consult('to.pl'),
+   consult('tc.pl'),
+   consult('th.pl'),
+   consult('td.pl'),
+   consult('te.pl'),
+   consult('tg.pl'),
+   consult('tr.pl'),
+   consult('tu.pl'),
+   consult('tf.pl'),
+   consult('xf.pl'),
+   consult('tp.pl'),
+   consult('cp.pl').
+?- ['ts.pl'], com('tm.pl', '/dev/null').
+% ?- save((tokio)), 'r_header'.
+?- 'r_header'.