Slides/document/isabelle1.png
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Sat, 04 Jun 2011 09:07:50 +0900
changeset 2816 84c3929d2684
parent 2764 03de62208942
permissions -rw-r--r--
Finish and test the locale approach

(binary:image/png)