Index of /ProjMajor/Lucas

• Parent Directory
• 0_Lucas ToDos.txt
• 0_Lucas notes.txt
• 180313 Howell to Lucas - EU2017 comments.txt
• 5_Math int_tables_trig_eqn.gif
• Binomial Series for Chapter 4.ods
• Hipolito 2016 Plato on the foundations of Modern Theorem Provers.pdf
• References/
• context/
• documents/
• formulae- Howell math.txt
• formulae- Lucas math.txt
• images/
• math Barnes/
• math Howell/
• math Lucas/
• math nomenclature/
• math skeleton Barnes 4-32-37.txt
• math skeleton Howell.txt
• math skeleton Lucas 4-32-37 yes-no cos - 1.txt
• math skeleton Lucas.txt
• math skeleton nomenclature.txt
• questions skeleton.txt
• symbol tables/