author | Walther Neuper <neuper@ist.tugraz.at> |
Tue, 23 Nov 2010 12:04:33 +0100 | |
branch | decompose-isar |
changeset 38075 | e75bf606da27 |
parent 38074 | 01cffbeee6d7 |
parent 38070 | 98c64024dcc9 |
child 38076 | 46a057671a81 |
child 38077 | 6f173c4caf79 |
1.1 --- a/src/Tools/isac/Build_Isac.thy Tue Nov 23 11:53:21 2010 +0100 1.2 +++ b/src/Tools/isac/Build_Isac.thy Tue Nov 23 12:04:33 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