equal
deleted
inserted
replaced
34 |
34 |
35 * HOL/Library: a collection of generic theories to be used together |
35 * HOL/Library: a collection of generic theories to be used together |
36 with main HOL; the theory loader path already includes this directory |
36 with main HOL; the theory loader path already includes this directory |
37 by default; the following existing theories have been moved here: |
37 by default; the following existing theories have been moved here: |
38 HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While |
38 HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While |
39 (as While_Combinator); |
39 (as While_Combinator), HOL/Lex/Prefix (as List_Prefix); |
40 |
40 |
41 |
41 |
42 New in Isabelle99-1 (October 2000) |
42 New in Isabelle99-1 (October 2000) |
43 ---------------------------------- |
43 ---------------------------------- |
44 |
44 |