8 Commits

Author	SHA1	Message	Date
Fabrice Mouhartem	79cc6c5806	+ Restatable definition	2018-02-28 18:02:23 +01:00
Fabrice Mouhartem	4bd9fddadb	Minor changes	2018-02-08 19:12:15 +01:00
Fabrice Mouhartem	16e717f08b	Consistency of symbols	2018-02-06 18:40:48 +01:00
Fabrice Mouhartem	b7cbdeb662	Continue writing	2018-02-05 18:27:07 +01:00
Fabrice Mouhartem	d6adc217eb	Index	2018-02-02 16:09:02 +01:00
Fabrice Mouhartem	09f6772bc0	SXDH	2018-01-30 09:53:01 +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