This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

Burkhart Wolff aeb235447c Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF		2018-06-19 17:37:53 +02:00
..
cenelec	Minor corrections, refactoring, steps towards attribute calculation.	2018-04-19 11:04:11 +02:00
math_exam	Configuration a la chasse du LaTeX generation bug (having its origine in the	2018-06-19 17:37:31 +02:00
scholarly	Consistent use of Cartouch-delimiters.	2018-06-18 05:29:00 +01:00
simple	Restructuring the example directory. Fixing math exa stuff.	2018-05-24 11:35:35 +02:00