Old Revisions

• 2019/02/03 19:44 math:coq_notes – [Vernacular Commands] dave -3 B (current)
• 2019/02/03 14:42 math:coq_notes – [Oddities] dave +23 B
• 2019/02/03 14:42 math:coq_notes – [Standard Library] dave +350 B
• 2019/02/03 14:35 math:coq_notes – [Vernacular Commands] dave -2 B
• 2019/02/03 14:35 math:coq_notes – [Vernacular Commands] dave +245 B
• 2019/02/03 14:01 math:coq_notes – [Terms] dave +21 B
• 2019/02/03 14:00 math:coq_notes – [Terms] dave +12 B
• 2019/02/03 13:57 math:coq_notes – [Vernacular Commands] dave +46 B
• 2019/02/03 13:55 math:coq_notes – [Questions] dave +13 B
• 2019/02/03 13:53 math:coq_notes – [Standard Library] dave +52 B
• 2019/02/03 13:42 math:coq_notes – [Vernacular Commands] dave +143 B
• 2019/02/03 13:40 math:coq_notes – [Gallina Expressions] dave +81 B
• 2019/02/03 11:56 math:coq_notes dave +252 B
• 2019/02/02 22:25 math:coq_notes – [Stuff I'd like to Prove] dave +81 B
• 2019/02/02 22:21 math:coq_notes – [Questions] dave +309 B
• 2019/02/02 22:17 math:coq_notes dave +167 B
• 2019/02/02 22:13 math:coq_notes – [Gallina Expressions] dave +129 B
• 2019/02/02 22:01 math:coq_notes – [Gallina Expressions] dave +5 B
• 2019/02/02 21:55 math:coq_notes – [Gallina Expressions] dave -42 B
• 2019/02/02 21:55 math:coq_notes – [Gallina Expressions] dave +209 B
• 2019/02/02 21:53 math:coq_notes – [Vernacular Commands] dave +134 B

Show differences between selected revisions