changeset 58330 | a016c42d136d |
parent 58309 | a09ec6daaa19 |
--- a/src/HOL/Datatype_Examples/Brackin.thy Fri Sep 12 16:42:36 2014 +0200 +++ b/src/HOL/Datatype_Examples/Brackin.thy Fri Sep 12 17:30:05 2014 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Datatype_Benchmark/Brackin.thy +(* Title: HOL/Datatype_Examples/Brackin.thy A couple of datatypes from Steve Brackin's work. *)