Added Notes directories; for all kinds of notes, including meeting notes
Added Notes directories; for all kinds of notes, including meeting notes

leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III