equal
deleted
inserted
replaced
239 Generate |
239 Generate |
240 Generate_Binary_Nat |
240 Generate_Binary_Nat |
241 Generate_Target_Nat |
241 Generate_Target_Nat |
242 Generate_Efficient_Datastructures |
242 Generate_Efficient_Datastructures |
243 Generate_Pretty_Char |
243 Generate_Pretty_Char |
244 Code_Test |
|
245 theories [condition = ISABELLE_GHC] |
244 theories [condition = ISABELLE_GHC] |
246 Code_Test_GHC |
245 Code_Test_GHC |
247 theories [condition = ISABELLE_MLTON] |
246 theories [condition = ISABELLE_MLTON] |
248 Code_Test_MLton |
247 Code_Test_MLton |
249 theories [condition = ISABELLE_OCAMLC] |
248 theories [condition = ISABELLE_OCAMLC] |