equal
deleted
inserted
replaced
10 Examples |
10 Examples |
11 |
11 |
12 session Haskell in Haskell = Pure + |
12 session Haskell in Haskell = Pure + |
13 theories |
13 theories |
14 Haskell |
14 Haskell |
15 theories [condition = ISABELLE_GHC] |
15 theories [condition = ISABELLE_GHC_STACK] |
16 Test |
16 Test |