next up previous contents
Next: Axioms Up: Laboratories and ARCADE: Instructions Previous: General introduction to laboratory   Contents

A summary of ARCADE

First the rules, then the easy-to-use system that implements them.



Subsections

John Latham 2008-10-30