author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 18 Nov 2010 17:46:22 +0100 | |
branch | isac-update-Isa09-2 |
changeset 38070 | 98c64024dcc9 |
parent 38068 | 85472c8dcb40 |
child 38075 | e75bf606da27 |
1.1 --- a/src/Tools/isac/Build_Isac.thy Thu Nov 18 17:36:07 2010 +0100 1.2 +++ b/src/Tools/isac/Build_Isac.thy Thu Nov 18 17:46:22 2010 +0100 1.3 @@ -1,4 +1,4 @@ 1.4 -(* Title: build and test isac 1.5 +(* Title: build and test isac 1.6 Author: Walther Neuper, TU Graz, 100808 1.7 (c) due to copyright terms 1.8