aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar/multiple
ModeNameSize
-rw-r--r--A.thy72logplain
-rw-r--r--B.thy33logplain
-rw-r--r--C.thy32logplain
-rw-r--r--D.thy33logplain
-rw-r--r--E.thy32logplain
-rw-r--r--README90logplain