Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Answer | 12736 | logplain |
-rw-r--r-- | Arrays.bpl | 4378 | logplain |
-rw-r--r-- | AttributeTyping.bpl | 682 | logplain |
-rw-r--r-- | CallForallResolve.bpl | 434 | logplain |
-rw-r--r-- | EmptyCallArgs.bpl | 570 | logplain |
-rw-r--r-- | Family.bpl | 1097 | logplain |
-rw-r--r-- | Frame0.bpl | 356 | logplain |
-rw-r--r-- | Frame1.bpl | 1901 | logplain |
-rw-r--r-- | FunBody.bpl | 525 | logplain |
-rw-r--r-- | LogicalExprs.bpl | 122 | logplain |
-rw-r--r-- | MapsTypeErrors.bpl | 3663 | logplain |
-rw-r--r-- | Orderings.bpl | 128 | logplain |
-rw-r--r-- | Output | 12736 | logplain |
-rw-r--r-- | UpdateExprTyping.bpl | 1276 | logplain |
-rw-r--r-- | WhereTyping.bpl | 1303 | logplain |
-rw-r--r-- | runtest.bat | 597 | logplain |