christian bdf972e31e update theo and num

2020-05-24 11:18:38 +02:00

..

hdnum @ 206ffcacaf

add hdnum lib

2020-05-21 15:24:21 +02:00

uebungen

update theo and num

2020-05-24 11:18:38 +02:00