| author | immler@in.tum.de |
| Tue, 18 Nov 2008 15:41:01 +0100 | |
| changeset 34370 | e0679b361a0e |
| parent 34318 | c13e168a8ae6 |
| child 34407 | aad6834ba380 |
| permissions | -rw-r--r-- |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
1 |
package isabelle.prover |
|
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
2 |
|
|
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
3 |
class CommandChangeInfo(val command : Command) |