]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/system_T/latex8.bib
removed papers dir, now all papers are in the new "papers" repository
[helm.git] / helm / papers / system_T / latex8.bib
diff --git a/helm/papers/system_T/latex8.bib b/helm/papers/system_T/latex8.bib
deleted file mode 100644 (file)
index 4daa996..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-\r
-%\r
-%  $Description: Sample bibliography$ \r
-% \r
-%  $Author: ienne $ \r
-%  $Date: 1995/09/15 15:19:53 $\r
-%  $Revision: 1.3 $\r
-%\r
-\r
-@Article{ex1,\r
-   author =   "Author, Ivan Marc",\r
-   title =   "Some Related Article {I} Wrote", \r
-   journal =   "Some Fine Journal",\r
-   month = "January",\r
-   number = "7",\r
-   year =   "1999",\r
-   volume =   "99",\r
-   pages =   "1-100",\r
-}\r
-\r
-\r
-@Book{ex2,\r
-   author =   "Expert, Andreas Nikolaos", \r
-   title =   "A Book He Wrote", \r
-   publisher =   "His Publisher",\r
-   address = "Erewhon, NC",\r
-   year =   "1999"\r
-}\r
-\r