#file batch.in icl write_theory quit
% ICL muta 1/ <batch.in >batch.out
Copyright 1997, Katholieke Universiteit Leuven, dept. Computerwetenschappen Information provider: KULeuven dept. Computerwetenschappen Comments for the authors: Wim Van Laer Page design: Wim Van Laer URL: http://www.cs.kuleuven.ac.be/tips_tricks.html |