8 Commits

Author	SHA1	Message	Date
Fabrice Mouhartem	df47d3b441	chap: -> ch:	2018-02-16 15:54:03 +01:00
Fabrice Mouhartem	16e717f08b	Consistency of symbols	2018-02-06 18:40:48 +01:00
Fabrice Mouhartem	d6adc217eb	Index	2018-02-02 16:09:02 +01:00
Fabrice Mouhartem	59c892e6d2	Lattice figure	2018-02-02 16:07:38 +01:00
Fabrice Mouhartem	5b963c690d	minor corrects	2018-01-30 09:52:53 +01:00
Fabrice Mouhartem	0598c398ad	Modifications	2018-01-27 21:27:06 +01:00
Fabrice Mouhartem	0e434c1e98	Lattices and pairings	2018-01-23 15:34:23 +01:00
Fabrice Mouhartem	c0360880e6	Outline	2018-01-15 12:56:09 +01:00