Updated file/directory structure to match new standard naming/layout.

2016-07-29 00:37:53 +01:00 · 2016-07-29 00:37:53 +01:00 · 38c374f657
parent 0407d94abd
commit 38c374f657
3 changed files with 0 additions and 4 deletions
--- a/1
+++ b/1
@ -1 +0,0 @@
-Achim D. Brucker <brucker@member.fsf.org>
--- a/3
+++ b/3
@ -1,3 +0,0 @@
-
-2009-11-02 Achim D. Brucker <brucker@member.fsf.org>
-		* Isabelle/OFMC: first public release (development version)
--- a/0
+++ b/0