Commit 69fafda3 authored by haftmann's avatar haftmann
Browse files

stripped ancident CVS Ids

parent 56bfbffe4301
(* Title: AVL Trees
ID: $Id: AVL.thy,v 1.13 2008-06-12 06:57:14 lsf37 Exp $
Author: Tobias Nipkow and Cornelia Pusch,
converted to Isar by Gerwin Klein
contributions by Achim Brucker, Burkhart Wolff and Jan Smaus
......
(* Title: AVL Trees
ID: $Id: AVL2.thy,v 1.10 2008-11-17 16:01:18 fhaftmann Exp $
Author: Tobias Nipkow and Cornelia Pusch,
converted to Isar by Gerwin Klein
contributions by Achim Brucker, Burkhart Wolff and Jan Smaus
......
# -*- shell-script -*-
# $Id: config,v 1.2 2004-03-19 21:07:39 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
% $Id: root.tex,v 1.4 2006-05-25 21:14:43 nipkow Exp $
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
......
# -*- shell-script -*-
# $Id: config,v 1.1 2006-08-08 23:20:03 nipkow Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
% $Id: root.tex,v 1.1 2006-08-08 23:22:32 nipkow Exp $
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
......
(* ID: $Id: GS.thy,v 1.1 2008-10-03 09:26:59 nipkow Exp $
(*
Author: Tobias Nipkow, 2008
*)
......
# -*- shell-script -*-
# $Id: config,v 1.1 2008-10-03 09:26:58 nipkow Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
(* Title: BDD
ID: $Id: EvalProof.thy,v 1.5 2008-06-12 06:57:15 lsf37 Exp $
Author: Veronika Ortner and Norbert Schirmer, 2004
Maintainer: Norbert Schirmer, norbert.schirmer at web de
License: LPGL
......
(* Title: BDD
ID: $Id: RepointProof.thy,v 1.7 2008-06-12 06:57:15 lsf37 Exp $
Author: Veronika Ortner and Norbert Schirmer, 2004
Maintainer: Norbert Schirmer, norbert.schirmer at web de
License: LGPL
......
(* Title: BDD
ID: $Id: ShareReduceRepListProof.thy,v 1.5 2008-06-12 06:57:16 lsf37 Exp $
Author: Veronika Ortner and Norbert Schirmer, 2004
Maintainer: Norbert Schirmer, norbert.schirmer at web de
License: LGPL
......
(* Title: BDD
ID: $Id: ShareRepProof.thy,v 1.5 2008-06-12 06:57:16 lsf37 Exp $
Author: Veronika Ortner and Norbert Schirmer, 2004
Maintainer: Norbert Schirmer, norbert.schirmer at web de
License: LGPL
......
# -*- shell-script -*-
# $Id: config,v 1.2 2008-03-07 15:23:43 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
# -*- shell-script -*-
# $Id: config,v 1.1 2004-04-05 16:25:50 lp15 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
# -*- shell-script -*-
# $Id: config,v 1.3 2005-05-13 00:35:18 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
% $Id: root.tex,v 1.2 2007-11-12 21:00:45 nipkow Exp $
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
......
# -*- shell-script -*-
# $Id: config,v 1.2 2006-03-14 20:51:52 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
# -*- shell-script -*-
# $Id: config,v 1.2 2006-03-15 15:20:02 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
% Title: An Example of a Cofinitary Group in Isabelle/HOL
% ID: $Id: root.tex,v 1.3 2009-09-05 14:20:05 lsf37 Exp $
%
% Author: Bart.Kastermans at colorado.edu, 2009
% Maintainer: Bart.Kastermans at colorado.edu
......
# -*- shell-script -*-
# $Id: config,v 1.1 2004-02-25 02:49:35 lsf37 Exp $
# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment