equal
deleted
inserted
replaced
26 top.head = element head { top.head.content } |
26 top.head = element head { top.head.content } |
27 |
27 |
28 top.head.content = |
28 top.head.content = |
29 (title, shorttitle?, subtitle?)? |
29 (title, shorttitle?, subtitle?)? |
30 & (identifier, identifier?)? |
30 & (identifier, identifier?)? |
31 & copyright? |
31 & copyright* |
32 & collection? |
32 & collection? |
33 & contributors? |
33 & contributors? |
34 & date? |
34 & date? |
35 & place? |
35 & place? |
36 & (source, source?)? |
36 & (source, source?)? |