Isabelle_DOF/README.md

# Isabelle_DOF


--- Isa_DOF is currently not used. 
    it is based on an reflection approach (a la Frederic)
    but was abandoned as too heavy for this little nut to crack
initial commit 2018-02-07 17:43:15 +00:00			`# Isabelle_DOF`

Kind of current status. Crudely carved out of an other repository - not sure that this works. 2018-02-07 18:44:27 +00:00
			`--- Isa_DOF is currently not used.`
			`it is based on an reflection approach (a la Frederic)`
			`but was abandoned as too heavy for this little nut to crack`