Apply scripts are a style of doing proofs in the theorem prover Isabelle; an alternative is structured Isar proofs.
