christian fcce9d30d6 add hdnum lib

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

..

hdnum @ 206ffcacaf

add hdnum lib

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

uebungen

update num and theo

2020-05-20 11:22:14 +02:00