3 Commits

Author	SHA1	Message	Date
Nuño Sempere	6bbc38bd1d	Add files via upload	2018-04-07 15:49:39 +02:00
Nuño Sempere	d9a591433f	Rename const.h to initial_divisor/const.h	2018-04-06 21:45:56 +02:00
Nuño Sempere	fbd9e82e76	Add files via upload ... First rough version of the is_not_divisor TM, which nonetheless works	2018-04-06 21:41:31 +02:00