Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Answer | 1839 | logplain |
-rw-r--r-- | CachedContainer.dfy | 3138 | logplain |
-rw-r--r-- | CalcExample.dfy | 616 | logplain |
-rw-r--r-- | Dijkstra.dfy | 2196 | logplain |
-rw-r--r-- | Filter.dfy | 7458 | logplain |
-rw-r--r-- | InductionVsCoinduction.dfy | 4065 | logplain |
-rw-r--r-- | InfiniteTrees.dfy | 22743 | logplain |
-rw-r--r-- | Iter.dfy | 2611 | logplain |
-rw-r--r-- | OpaqueTrees.dfy | 1015 | logplain |
-rw-r--r-- | Paulson.dfy | 5314 | logplain |
-rw-r--r-- | SetIterations.dfy | 1498 | logplain |
-rw-r--r-- | SimpleCoinduction.dfy | 2108 | logplain |
-rw-r--r-- | SimpleInduction.dfy | 2439 | logplain |
-rw-r--r-- | Streams.dfy | 10974 | logplain |
-rw-r--r-- | WideTrees.dfy | 1075 | logplain |
-rw-r--r-- | Zip.dfy | 2352 | logplain |
-rw-r--r-- | runtest.bat | 809 | logplain |