equal
deleted
inserted
replaced
930 theories |
930 theories |
931 Types_To_Sets |
931 Types_To_Sets |
932 "Examples/Prerequisites" |
932 "Examples/Prerequisites" |
933 "Examples/Finite" |
933 "Examples/Finite" |
934 "Examples/T2_Spaces" |
934 "Examples/T2_Spaces" |
|
935 "Examples/Linear_Algebra_On" |
935 |
936 |
936 session HOLCF (main timing) in HOLCF = HOL + |
937 session HOLCF (main timing) in HOLCF = HOL + |
937 description {* |
938 description {* |
938 Author: Franz Regensburger |
939 Author: Franz Regensburger |
939 Author: Brian Huffman |
940 Author: Brian Huffman |